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 Ubuntu
Desktop Bugs, 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
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/996485/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
