Проблема Ubuntu 17.10 с ярлыком F10
Я сделал новую установку 17,10 и имею проблему с ярлыком F10. Мне нужен F10 близкому Полуночному Командующему в терминале. В Единице я знал, как отключить ярлык, но в гноме это, кажется, не работает вообще. Я сделал попробованный:
Settings > Devices > Keyboard > Keyboard Shortcuts
и отключенный что-либо содержащее F10 без удачи. В терминале я отключил ярлыки также. Также некоторые старые решения как это:
~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
кажется, не работает.
Любая справка будет цениться, thks.
4 ответа
Можно отключить обработку F10 в GNOME Terminal Предпочтительное диалоговое окно, вкладка "Общие".
, В то время как в нем, Вы могли бы также хотеть отключить Высокий звук + буква мнемоника здесь, а также F1 (и при необходимости, F11 также) под вкладкой Shortcuts.
Отключить F10 для доступа к Меню терминалов:
1) sudo apt install dconf-tools
2) выполненный dconf-редактор> просматривает к org/gnome/terminal/legacy
3) выключить menu-acceletator-enabled (Пользовательское Значение-> ложь)
4) закройте терминал, откройте его снова
Спасибо firepol для Вашего предложения.
Вы не должны отключать F10. Можно просто нажать (с мышью) на Выходе 'кнопку' в правом нижнем угле для выхода от Полуночного Командующего.
Хотя я чувствую, что ответ egmont является лучшим решением, возможно, эта дополнительная опция может быть полезна для кого-то.
Если Вы не хотите:
- выполните любые щелчки мышью
- отключить
F10вводное меню (по некоторым причинам)
Вы можете также (как DarkDust указывает), эмулируют F10 нажатие клавиши путем нажатия: ESC сопровождаемый 0