Ubuntu 18.04では、割り当てることができません Ctrl+Alt+← または Ctrl+Alt+→ 何にでも。正確には何かにバインドするかもしれませんが、キーボードの組み合わせを使用する場合は機能しませんが、上下矢印は機能します。
。
奇妙なことに、システムはキーを割り当てるときにキーボードの組み合わせを検出しますが、それらを使用しようとするときは検出しません。その結果、キーボードの組み合わせは他のプログラムでも機能しません。
Ctrl+Alt+← そして Ctrl+Alt+→ 「ワークスペースを左に切り替える」と「ワークスペースを右に切り替える」のデフォルトのショートカットです。実行することでそれを確認できます
gsettings get org.gnome.desktop.wm.keybindings switch-to-workspace-left
(およびright
の代わりにleft
)。
デフォルトではGNOME Shellには単一列のワークスペースがあるため、これらのショートカットはまったく効果を示しません( this などを試さない限り)。
これらのキーボードの組み合わせのバインドを解除するには、次を実行します
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
(right
も同様)。次に、これらの組み合わせをカスタムショートカットに使用できるようになります。
問題は、Ubuntu 18.04設定GUIにすべてのキーボードショートカットが表示されないことです。
すべてのウィンドウマネージャーキーバインドを表示するには:
gsettings list-recursively | grep org.gnome.desktop.wm.keybindings | sort
org.gnome.desktop.wm.keybindings switch-to-workspace-down ['<Super>Page_Down', '<Control><Alt>Down']
org.gnome.desktop.wm.keybindings switch-to-workspace-left ['<Control><Alt>Left']
org.gnome.desktop.wm.keybindings switch-to-workspace-right ['<Control><Alt>Right']
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Super>Page_Up', '<Control><Alt>Up']
今、あなたはたくさんあることがわかります Ctrl+Alt+up/down/left/right 設定画面に表示されなかったキーバインド。
不要なキーバインドを削除するには:
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Super>Page_Down']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up "['<Super>Page_Up']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-left "[]"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-right "[]"
これで、他の場所でキーバインドを使用できます。