Disable F10 in gnome-terminal in 12.04

Type this in the console:


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


Then close all terminal sessions. Now it should work as it should (in mc for example).

https://bugs.launchpad.net/ubuntu/+source/unity/+bug/726639/comments/18
https://bbs.archlinux.org/viewtopic.php?pid=1017546#p1017546