gnome-terminal Ubuntu how
to disable F10 key*
For gtk-3 apps like gnome-terminal and nautilus I created a new file:
cat > ~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<F10"
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
Close all terminals these changes were in effect.