Estoy ejecutando Fedora 17 gnome (shell) 3 y gnome terminal 3.4.1.1.
Soy un usuario tanto de gnome-terminal como de comandante de medianoche. Por defecto, gnome-terminal siempre ha usado F10 (que necesito mientras uso mc), para abrir el menú superior. Así fue esta vez. Pude deshabilitar ese comportamiento en la configuración, como siempre.
Lo que es nuevo para mí es que después de deshabilitar la configuración, comenzó a abrir el "menú de clic derecho" en el cursor del mouse cuando presioné F10. La clave también está en mc, pero es molesto tener que cerrar siempre el menú.
Supongo que es causado por el terminal gnome, ya que no sucede en otras aplicaciones. ¿Es esta una "característica" o error, alguien más ha encontrado el mismo problema y cómo solucionarlo?