<popup name="button3">
 <menuitem debuname="Refresh" verb="Refresh" _label="_Refresh..."
	   pixtype="stock" pixname="gtk-refresh"/>
 <menuitem debuname="Prefs" verb="Prefs" _label="_Preferences..." 
	   pixtype="stock" pixname="gtk-preferences"/>
 <menuitem debuname="Open" verb="Open" _label="_Open in Browser" 
	   pixtype="stock" pixname="gtk-jump-to"/>
 <menuitem debuname="About" verb="About" _label="_About..." 
	   pixtype="stock" pixname="gtk-about"/>
</popup>
