Here I found a workaround:
https://bbs.archlinux.org/viewtopic.php?pid=1017546#p1017546
---8<------
For gtk-3 apps like gnome-terminal and nautilus I created a new file:
~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
---8<------
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/996485
Title:
gnome-terminal still pops up context menu on F10 key despite disabled
in preferences
Status in “gnome-terminal” package in Ubuntu:
Confirmed
Bug description:
Hello!
I have disabled F10 key in gnome-terminal in Edit > Keyboard shortcuts...
(unset the mark in "Enable the menu shortcut key (F10 by default") but it
continue to work.
So F10 key always open drop-down menu (which normally opens with right mouse
click) and it sends "~" to the terminal window.
I can't use Midnight Commander.
Please fix.
ProblemType: Bug
DistroRelease: Ubuntu 12.04
Package: gnome-terminal 3.4.1.1-0ubuntu1
ProcVersionSignature: Ubuntu 3.2.0-24.37-generic 3.2.14
Uname: Linux 3.2.0-24-generic x86_64
ApportVersion: 2.0.1-0ubuntu7
Architecture: amd64
Date: Tue May 8 15:21:09 2012
SourcePackage: gnome-terminal
UpgradeStatus: No upgrade log present (probably fresh install)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/996485/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : [email protected]
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
