Відключаємо F10 у GNOME3

Нав’язлива прив’язка F10 до кнопки меню у Gnome3 таки поборола мою лінь. Відповідно до запису на форумі ArchLinux, щоб зняти прив’язку - треба відредагувати файл ~/.config/gtk-3.0/gtk.css . Таким чином послідовність дій є наступною:

mkdir -p  ~/.config/gtk-3.0/

cat >> gtk.css

@binding-set NoKeyboardNavigation {
 unbind "F10"
}

* {
 gtk-key-bindings: NoKeyboardNavigation
}

^D