Ubuntu 12.04 Отключение контекстного меню по нажатию F10

Когда я устал нажимать Esc после нажатия в терминальном окне клавиши F10 для выхода из midnight commander'а, то нашёл https://bugs.launchpad.net/ubuntu/+source/unity/+bug/726639, где прочитал и выполнил следующие команды:

$ mkdir -p ~/.config/gtk-3.0
$ cat<<EOF > ~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
     unbind "<shift>F10"
}
* {
     gtk-key-bindings: NoKeyboardNavigation
}
EOF

После перезагрузки стало хорошо.