Je continue à voir des références à une option de configuration appelée Editable Menu Accelerators
ou Editable Menu Shortcut Keys
.
C’est exactement ce dont j’ai besoin, mais toutes les instructions que j’ai lues pour trouver cette fonction m’entraînent dans une impasse.
Je suis sous Ubuntu 10.4 et j'ai vérifié son fichier d'aide Desktop User Guide
.
Dans la section 8.2.1.4. Interface Preferences
, on lit:
"...the Interface tabbed section in the Appearance preference tool
to customize the appearance of menus, menubars, and toolbars
for applications that are part of GNOME."
Cet onglet Interface
n'existe pas dans Ubuntu 10.4 (... d'accord, qui l'a déplacé?! .. où est je?)
Cette fonctionnalité est-elle toujours disponible?
Je suppose que cela existe et est maintenant accessible d’une autre manière ... mais comment?
PS: pour clarifier ... je veux modifier un accélérateur d'élément de menu pour une application spécifique (pas une touche de raccourci système)
Il semble que GNOME ait décidé de supprimer l’onglet d’interface parce que "en gros, tout ce qui concerne une expérience utilisateur de conception. Il n’appartient qu’à un outil de l'interface utilisateur Tweak." Donc, maintenant, le seul moyen d'activer cette option est caché profondément dans les paramètres de gconf.
Lancez gconf-editor
à partir du terminal ou de la boîte de dialogue "Exécuter l'application" (Alt-F2
).
Naviguez jusqu'à desktop>gnome>interface
et vérifiez can_change_accels
Ou tout simplement exécuter cette ligne dans un terminal:
gconftool --set /desktop/gnome/interface/can_change_accels --type=bool True