L'édition des menus des menus de Gnome se fait à l'aide de l'outil qui se trouve dans “Système” / “Preférences ” / “Menu principal”. Note: Cet outil est peut-être caché dans Applications / Accessoires / Editeur de menu alacarte.

Pensez à mettre à jour votre serveur qui corrige un bug qui empêchait d'éditer ce menu (paquet abuledu-operations).