Aqui está uma solução simples para o problema descrito:
Para aplicativos GTK 3 como gnome-terminal e nautilus, basta criar (ou editar, se tiver um) o arquivo ~ / .config / gtk-3.0 / gtk.css com o seguinte conteúdo:
$ cat ~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
Mais sobre o problema, consulte link