Description of problem:
There is no way (well, except perhaps some gconf magic) to get F10 keypresses in gnome-terminal passed to the program running in the terminal.

Edit -> Keyboard shortcuts contains checkbox `Enable the menu shortcut key (F10 by default)'.  When it is checked, F10 is eaten by gnome-terminal and invokes the main menu bar.  When it is unchecked, F10 is eaten by gnome-terminal and invokes a context menu.  In both cases, the program in terminal lose.

Version-Release number of selected component (if applicable):
gnome-terminal-2.24.2-2.fc10

How reproducible:
Always

Steps to Reproduce:
1. Run mc.
2. Press F10.
3. Try that with `F10 disabled'.
  
Actual results:
F10 always brings some gnome-terminal menu.

Expected results:
At least in one case F10 quits mc.  (Alternatively: The preferences contain an option to really disable F10.)

Additional info:
This is a regression, it used to be possible to make F10 work in terminal programs in the keyboard shortcuts preferences.