I have updated desktop computer to Debian Jessie. After that I have quickly encountered an issue with GNOME Terminal, Midnight Commander and already assigned
F10 function keys.
Open GNOME Terminal preferences.
Enable the menu accelerator key (F10 by default) option is unset.
Switch to the
F1 shortcut that opens
If you tried alternative way to access function keys inside Midnight Commander by pressing
number, then notice that
Alt+9 are already assigned.