Re: Menu Editor in Gnome

2002-10-18 Thread Samuel Flory
Hughes, Michael wrote: According to the User Guide located at www.gnome.org there is a menu editor clipped from website " The Menu Editor is a configuration tool for the Main Menu. The Menu Editor is started by clicking on the Main Menu Launcher or Programs in the Global Main Menu (the "Foot" m

Menu Editor in Gnome

2002-10-18 Thread Hughes, Michael
According to the User Guide located at www.gnome.org there is a menu editor clipped from website " The Menu Editor is a configuration tool for the Main Menu. The Menu Editor is started by clicking on the Main Menu Launcher or Programs in the Global Main Menu (the "Foot" menu) and selecting Settin