J'utilise Fedora 17 gnome (shell) 3 et le terminal gnome 3.4.1.1.
Je suis à la fois gnome-terminal et midnight commander. Comme gnome-terminal par défaut a toujours utilisé F10 (dont j'ai besoin lors de l'utilisation de mc) pour ouvrir le menu supérieur. Il en était de même cette fois. J'ai pu désactiver ce comportement dans les paramètres, 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 contextuel" au niveau du curseur de la souris lorsque j'appuie sur F10. La clé va aussi à mc, mais c'est ennuyeux de devoir toujours fermer le menu.
Je suppose que cela est causé par le terminal gnome, car cela ne se produit pas dans d'autres applications. S'agit-il d'une "fonctionnalité" ou d'un bug, quelqu'un d'autre a-t-il rencontré le même problème et comment le résoudre?