Hello, When I use "gnome-terminal", Version: 2.8.2-1, if I run "mc" in this terminal I can't use the key F10 for "mc" because F10 is set to gnome-terminal also. How can I disable F10 for gnome-terminal or change F10 with F11 or F12 ? TIA -- Gérard