GNOME Bugzilla – Bug 329827
Keybinding shift-F10 cannot be disabled or changed
Last modified: 2008-10-21 19:43:53 UTC
I have an application commonly accessed through gnome-terminal that has important (non-movable) functionality bound to the key shift-F10 -- which as you know has the 'menu-popup' binding. I would like to change the 'menu-popup' binding to something else, say 'ctrl-shift-f10' so that the 'shift-f10' key is available for the application. Other information: help me move this please.
Edit->Shortcuts->Disable menu shortcut key.
Olav, you are not right. This setting disables special handling of F10 but not Shift+F10. I have no permission to reopen this bug so I submitted a new one: bug #338508.
Replying would have been enough, so the bug could be reopened. There was no need for filing another one.
*** Bug 338508 has been marked as a duplicate of this bug. ***
Plus it is very easy to get permissions.. wondered whether to give them as filing duplicates on purpose doesn't make much sense.. but I assume this is a one-off.
Off: Sorry for opening a new report. I was afraid that comments to a fixed bug get easily lost forever. Furthermore, recently I've been told in the bugzilla of a different project (not Gnome) where I reopened my bugreport since it wasn't actually fixed that reopening a bugreport is a rude thing and I should have opened a new one instead. Different people, different opinions...
Since this is a gtk keybinding signal, there probably exists a gtkrc hack that can be used ?
I fixed this on trunk so that the checkbox "Enable the _menu shortcut key (F10 by default)" in the Keybindings editor also disables Shift-F10 when unchecked. Since the context menu also has the <MenuKey> binding, I don't thinke we need to add it to the keybinding editor as a redefinable keybinding.