Continuo a vedere i riferimenti a un'opzione di configurazione calld Editable Menu Accelerators
o Editable Menu Shortcut Keys
.
Questo è esattamente ciò di cui ho bisogno, ma tutte le indicazioni che ho letto su come trovare quella funzione mi portano in un vicolo cieco.
Sono in esecuzione con Ubuntu 10.4 e ho controllato il suo file di aiuto Desktop User Guide
.
Nella sezione 8.2.1.4. Interface Preferences
dice:
"...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."
Questa Interface
scheda non esiste in Ubuntu 10.4 (... okay, chi l'ha spostata ?! .. dove sono?)
Questa funzione è ancora disponibile?
Presumo che esista, ed è ora accessibile in qualche altro modo ... ma come?
PS: Per chiarire ... Voglio modificare un acceleratore di voci di menu per un'app specifica (non un tasto di scelta rapida a livello di sistema)