Ubuntu 17.10 issue with F10 shortcut

Question

I did a fresh install of 17.10 and have an issue with the F10 shortcut. I need the F10 to close Midnight Commander in terminal. In Unity I knew how to disable the shortcut, but in gnome this seems not to work at all. I did tried:

Settings > Devices > Keyboard > Keyboard Shortcuts

and disabled anything containing F10 with no luck. In terminal I disabled the shortcuts as well. Also some old solutions like this:

~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}

* {
gtk-key-bindings: NoKeyboardNavigation
}

seems not to work.

Any help will be appreciated, thks.

Answer 1

You can disable the handling of F10 in GNOME Terminal's Preferences dialog, General tab.

While at it, you might also want to disable Alt+letter mnemonics here, as well as F1 (and if required, F11 too) under the Shortcuts tab.

Answer 2

To disable F10 to access Terminal menu:

1) sudo apt install dconf-tools

2) run dconf-editor > browse to org/gnome/terminal/legacy

3) turn off menu-acceletator-enabled (Custom Value -> false)

4) close the terminal, open it again

Thanks firepol for your suggestion.

Answer 3

Though I feel egmont's answer is the best solution, maybe this additional option may be useful to someone.

If you don't want to:

• perform any mouse clicks
• disable F10 opening menu (for some reason)

You can also (as DarkDust points out) emulate F10 key press by pressing: ESC followed by 0

Answer 4

You need not disable F10. You can simply click (with the mouse) on the Quit 'button' in the bottom right corner to quit from Midnight Commander.