Discordには、ギルドを簡単に切り替えるためのショートカットがあります。それは Ctrl+Alt+Up そして Ctrl+Alt+Down。
問題は、Gnomeがワークスペースの変更にこのショートカットを使用することです。モニターが2台あるので、追加のワークスペースを頻繁に使用しないので、設定を開いてショートカットを探し、それを無効にできるようにしました。
ワークスペースを上下に切り替えるショートカットは明らかに Super+Page Up そして Super+Page Down そして私は見つけることができませんでした Ctrl+Alt+Up またはどこか他の場所へのショートカット。まるでこのショートカットを変更することは不可能のようですが、どうすればよいかはわかりませんが、実際にはそうではありません。
一般に、これはOS(ウィンドウシステム)が優先され、このショートカットをインターセプトして、目的のアプリケーションへの伝播を停止するために発生します。解決策:dconf-editorを使用してショートカットを削除します。
Sudo apt-get install dconf-tools
dconf-editor
/org/gnome/desktop/wm/keybindings/
switch-to-workspace-down
、入れて['disabled']
デフォルトの代わりにdconf-editor
以上で完了ですいくつかのEclipseを使用したいときは常にこの問題がありますIDEショートカット: https://bugs.Eclipse.org/bugs/show_bug.cgi?id=321094
Gnome設定には、ワークスペースを切り替えるためのスーパーキーの組み合わせのみが表示されます。でもgnome-Tweak-tool
は役に立ちません。
とにかく、dconf
を開いて、関連する2つのキーを編集できます。
から
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Super>Page_Up', '<Control><Alt>Up']
に
org.gnome.desktop.wm.keybindings switch-to-workspace-up ['<Super>Page_Up']
他のキーの組み合わせについても同じです。
端末で次のコマンドを実行できます。
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-up "['<Super>Page_Up']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-down "['<Super>Page_Down']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-up "['<Super><Shift>Page_Up']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-down "['<Super><Shift>Page_Down']"
2つのモニターがあり、ワークスペースは必要ないので、「上/下のワークスペースに移動」のショートカットを無効にすることをお勧めします。
実際、ワークスペースに関連するすべてのショートカットを無効にしています...