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.