slt,

je crois que la commande "update-menus" peut t'être utile. Il suffit
de lire le man ou alors de chercher ds les sujets précédents:
update-menus -menufilesdir /usr/lib/menu ou un truc de ce genre peut
marcher.

Sinon tu n'as pas encore la possibilité d'éditer le menu avec gnome
2.10. Je crois que cela doit venir avec le 2.12

bonne soirée

Reply via email to