Re: Editing the Gnome Menu