17.10の新規インストールを行いましたが、問題があります F10 ショートカット。私が必要です F10 ターミナルの真夜中の司令官を閉じます。 Unityではショートカットを無効にする方法を知っていましたが、gnomeではこれはまったく機能しないようです。私は試しました:
Settings > Devices > Keyboard > Keyboard Shortcuts
f10を含むものは運がなく無効にしました。ターミナルでは、ショートカットも無効にしました。また、このようないくつかの古いソリューション:
~/.config/gtk-3.0/gtk.css
@binding-set NoKeyboardNavigation {
unbind "<shift>F10"
}
* {
gtk-key-bindings: NoKeyboardNavigation
}
動作しないようです。
助けていただければ幸いです。
の処理を無効にすることができます F10 GNOME Terminal
の[設定]ダイアログの[全般]タブ。
その間、無効にすることもできます Alt+letter ここでのニーモニック、および F1 (必要に応じて、 F11 ショートカット)タブの下。
F10を無効にしてターミナルメニューにアクセスするには:
1)Sudo apt install dconf-tools
2)dconf-editorを実行し、org/gnome/terminal/legacy
を参照します
3)menu-acceletator-enabled
(カスタム値-> false)をオフにします
4)ターミナルを閉じて、もう一度開きます
あなたの提案のためにfirepolに感謝します。
egmont's answer が最良の解決策だと思いますが、この追加オプションは誰かに役立つかもしれません。
したくない場合:
F10
を無効にする(何らかの理由で)ESC
に続いてF10
を押すことにより、0
キーを押してエミュレートすることもできます( DarkDust 指摘)