Estou executando o Fedora 17 gnome (shell) 3 e o terminal gnome 3.4.1.1.
Sou usuário do terminal gnome e do comandante da meia-noite. Como padrão, o gnome-terminal sempre usou o F10 (que eu preciso ao usar o mc), para abrir o menu superior. Então foi desta vez. Consegui desativar esse comportamento nas configurações, como sempre.
O que é novo para mim é que, depois de desativar a configuração, ela começou a abrir o "menu do botão direito" no cursor do mouse quando pressiono F10. A tecla vai para mc também, mas é chato ter que sempre fechar o menu.
Presumo que seja causado pelo terminal gnome, pois não acontece em outros aplicativos. Este é um "recurso" ou bug. Alguém já encontrou o mesmo problema e como corrigi-lo?