Comment 51 for bug 937822

More than a year later this bug is still very prominent in Ubuntu 12.04 LTS.
Half a year ago a fix was committed but hasn't reached the repositories yet ???
(not even in "proposed" or "backports")

If this turns out to be a "won't fix/can't fix for 12.04" situation it might be wise to adopt the following workaround officially
(since it is better than nothing at all):

#-------------------------------------------------------------
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
#--------------------------------------------------------------