Ich verwende Fedora 17 Gnome (Shell) 3 und Gnome Terminal 3.4.1.1.
Ich bin ein Benutzer sowohl des Gnome-Terminals als auch des Mitternachtskommandanten. Standardmäßig hat gnome-terminal immer F10 verwendet (was ich bei der Verwendung von mc benötige), um das Hauptmenü zu öffnen. So war diesmal. Ich konnte dieses Verhalten wie immer in den Einstellungen deaktivieren.
Neu für mich ist, dass ich nach dem Deaktivieren der Einstellung das Rechtsklick-Menü am Mauszeiger öffne, wenn ich F10 drücke. Die Taste geht auch an mc, aber es ist ärgerlich, immer das Menü schließen zu müssen.
Ich gehe davon aus, dass es von Gnome Terminal verursacht wird, da es in anderen Apps nicht vorkommt. Handelt es sich um ein "Feature" oder einen Fehler? Hat jemand anderes dasselbe Problem festgestellt und wie kann man es beheben?