Убираем F10 в Gnome Terminal
Не знаю кому вообще могла придти в голову мысль вешать меню правой кнопки мыши на эту клавишу, но убирается легко:
~/.config/gtk-3.0/gtk.css:
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
