Editing the Gnome Menu