/* Disable F10 */ @binding-set NoKeyboardNavigation { unbind "F10" unbind "F10" } * { -gtk-key-bindings: NoKeyboardNavigation }