GNOME Bugzilla – Bug 530901
Allow keyboard shortcuts to be configured
Last modified: 2008-08-23 08:21:09 UTC
User should be allowed to customize their shortcuts. I personally like to use F5 to continue, F10 for next, F11 for step into, etc. Other information:
Yes, this would be nice to have.
Oh well, I just discovered that it works already. Yay GNOME/Gtk+ integration. So on my GNOME desktop, you have to go to System --> Preferences --> Appearance And launch the Appearance capplet. In that capplet, click the interface tab. In there, click the "editable keyboard shortcut" tickbox. Sorry if the terms are not correct, I don't have an english desktop, so I am translating to english blindly. Actually it's all explained here: http://library.gnome.org/users/user-guide/stable/prefs-menustoolbars.html.fr. So that make the keyboard shortcuts of the menu items of all GTK+ application editable. To edit a shortcut of a menu item, just place the mouse on the menu item which shortcut you want to edit, and type in the new keyboard shortcut you want.