Ctrl + F1 тоже не работает. Решение такое же, как для Shift + F10. Не забывайте запятую как разделитель!
Поместите это в ~ / .config / gtk-3.0 / gtk.css:
@binding-set NoKeyboardNavigation {
unbind "<shift>F10";
unbind "<control>F1";
}
* {
gtk-key-bindings: NoKeyboardNavigation;
}