Pourquoi F10 dans gnome-terminal ouvre le menu contextuel?

Je cours Fedora 17 gnome (shell) 3 et gnome terminal 3.4.1.1.

Je suis un user des deux gnome-terminal et minuit commandant. Comme gnome-terminal par défaut a toujours utilisé F10 (dont j'ai besoin en utilisant mc), pour ouvrir le menu du haut. C'était donc cette fois. J'ai pu désactiver ce comportement dans les parameters, comme toujours.

Ce qui est nouveau pour moi, c'est qu'après avoir désactivé le paramètre, il a commencé à ouvrir le "menu clic droit" au slider de la souris lorsque j'appuie sur F10. La key va à mc aussi, mais il est ennuyeux de devoir toujours fermer le menu.

Je suppose qu'il est causé par le terminal gnome, car cela ne se produit pas dans d'autres applications. Est-ce une "fonctionnalité" ou un bug, est-ce que quelqu'un d'autre a rencontré le même problème et comment le résoudre?

Voici une solution simple pour le problème décrit:

Pour les applications gtk-3 comme gnome-terminal et nautilus, créez simplement le file ~ / .config / gtk-3.0 / gtk.css avec le contenu suivant:

$ cat ~/.config/gtk-3.0/gtk.css @binding-set NoKeyboardNavigation { unbind "F10" } * { gtk-key-bindings: NoKeyboardNavigation } 

Plus d'informations sur le problème voir http://youdev.co/fedora-17-f10-key-frustrating-behaviour-solved/

C'est une fonctionnalité. Allez dans Édition-> Raccourcis keyboard

Et décocher "Activer la touche de raccourci du menu"

pour l'éteindre.

Pour Fedora 17, vous pouvez find le rapport de bug ici

https://bugzilla.redhat.com/show_bug.cgi?id=800856

Pour contourner ce problème, créez le file ~ / .config / gtk-3.0 / gtk.css avec le contenu suivant:

 @binding-set NoKeyboardNavigation { unbind "<shift>F10" } * { gtk-key-bindings: NoKeyboardNavigation } 

Je l'ai corrigé sur Ubuntu en créant un nouveau ~/.config/gtk-3.0/gtk.css et en y ~/.config/gtk-3.0/gtk.css :

 @binding-set NoKeyboardNavigation { unbind "<shift>F10" } * { gtk-key-bindings: NoKeyboardNavigation } 

en centos, rhel, oracle linux

Allez dans Edition-> Raccourcis keyboard. Décochez la case "Activer la touche de raccourci du menu" pour l'éteindre.