How to *really* disable F10 key in gnome-terminal

For gtk-2 apps add this in ~/.gtkrc-2.0

binding "NoKeyboardNavigation" {
    unbind "<shift>F10"
}
class * binding "NoKeyboardNavigation"

For gtk-3 apps like gnome-terminal and nautilus I created a new file: ~/.config/gtk-3.0/gtk.css

@binding-set NoKeyboardNavigation {
    unbind "<shift>F10"
}
* {
    gtk-key-bindings: NoKeyboardNavigation
}

I did have to close _all_ terminal windows before these changes were in effect.

Source: https://bbs.archlinux.org/viewtopic.php?pid=1017546#p1017546