Sto eseguendo Fedora 17 gnome (shell) 3 e gnome terminal 3.4.1.1.
Sono un utente sia del terminale gnome che del comandante di mezzanotte. Come predefinito gnome-terminal ha sempre usato F10 (di cui ho bisogno mentre utilizzo mc), per aprire il menu principale. Così è stato questa volta. Sono stato in grado di disabilitare quel comportamento nelle impostazioni, come sempre.
La cosa nuova per me è che dopo aver disabilitato l'impostazione, ha iniziato ad aprire il "menu di scelta rapida" sul cursore del mouse quando premo F10. La chiave va anche a mc, ma è fastidioso dover sempre chiudere il menu.
Suppongo che sia causato dal terminale GNOME, poiché non accade in altre app. Si tratta di una "caratteristica" o bug, qualcun altro ha riscontrato lo stesso problema e come risolverlo?