Voilà un truc, que j'ai trouvé récemment, et qui permet d'éditer les raccourcis de toutes les principales applications gnome :
en ligne de commande suffit de lancer ça :
gconftool-2 -t bool -s /desktop/gnome/interface/can_change_accels true
puis, dans un applicatif, se positionner avec le curseur sur le menu, et saisir une combinaison de touche : et elle se met en place dans le menu.
après, pour ne pas tout casser, remettre en normal :
gconftool-2 -t bool -s /desktop/gnome/interface/can_change_accels false
surprenant (…)
Forum Linux.debian/ubuntu [Kubuntu] problèmes micro apres dist-upgrade
21
nov.
2009