I had the same issue as Václav:
When "disable menu shortcut key (F10)" is NOT checked then:
- F10 activates the menuBAR.
- Shift+F10 activates the popup menu at the mouse pointer.
When "disable menu shortcut key (F10)" IS checked then both F10 and Shift+F10
activate the popup menu at the mouse pointer.
I found the following workaround: create a file ".gtkrc-2.0" in your
home directory containing:
binding "TerminalNoMenu"
{
unbind "<shift>F10"
}
class "VteTerminal" binding "TerminalNoMenu"
--
Hardy Terminal 2.21.92 Unable to disable F10 Hotkey
https://bugs.launchpad.net/bugs/198628
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is a bug assignee.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
