Gnome Hauptmenü ändern