Est-ce que quelqu'un connaît un meilleur moyen de modifier le menu des applications dans Gnome?
Chaque fois que je modifie un élément, tout le menu est rechargé et je dois constamment "re-développer" les entrées pour trouver le prochain que je veux modifier.
C'est vraiment énervant.
J'utilise Ubuntu 9.04 x64 (alacarte 0.11.10-0ubuntu1). Je viens de me rendre compte que ce comportement est très erratique, car parfois il se produit (la plupart du temps), parfois non.
Toute opération déclenchera ce comportement, comme la suppression d’un élément ou son déplacement dans un autre menu.
Merci!