There is a workaround for the context menus in gnome-terminal NOT to open upon pressing F10, it is in post#8 of this thread: https://bbs.archlinux.org/viewtopic.php?id=129872
Create a new file: ~/.config/gtk-3.0/gtk.css, then add this:
@binding-set NoKeyboardNavigation { unbind "<shift>F10" }
* { gtk-key-bindings: NoKeyboardNavigation }
Close all terminal windows and restart terminal.
There is a workaround for the context menus in gnome-terminal NOT to open upon pressing F10, it is in post#8 of this thread: https:/ /bbs.archlinux. org/viewtopic. php?id= 129872
Create a new file: ~/.config/ gtk-3.0/ gtk.css, then add this:
@binding-set NoKeyboardNavig ation {
unbind "<shift>F10"
}
* { ation
gtk-key-bindings: NoKeyboardNavig
}
Close all terminal windows and restart terminal.