Discordにはギルド間を簡単に切り替えることができるショートカットがあります。Ctrl++と++です。AltUpCtrlAltDown
問題は、Gnomeがこのショートカットを使用してワークスペースを変更することです。モニターが2つあり、他のワークスペースを頻繁に使用せず、設定を開いてショートカットを見つけて無効にすることができました。
明らかに、ワークスペースを上下に切り替えるショートカットはSuper+Page Upと+であることがわかりましたが、++またはダウンショートカットはSuper他の場所ではPage Down見つかりませんでした。このショートカットは変更がほとんど不可能に見えますが、方法はわかりませんが、必ずしもそうではありません。CtrlAltUp
ベストアンサー1
通常、これはオペレーティングシステム(ウィンドウシステム)が優先順位を持ち、このショートカットを傍受し、目的のアプリケーションへの伝播を停止するために発生する可能性があります。回避策:次のコマンドを使用してショートカットを削除しますdconf-editor
。
- 端末を開く
sudo apt-get install dconf-tools
(またはdconf-editor
)- 今走る
dconf-editor
- dconf エディタで次に進みます。
/org/gnome/desktop/wm/keybindings/
- 検索
switch-to-workspace-down
、['disabled']
代わりに配置default
- 同じ
switch-to-workspace-up
- 終了する
dconf-editor
と完了します。
一部のEclipse IDEショートカットを使用しようとすると、常にこの問題に直面します。 https://bugs.eclipse.org/bugs/show_bug.cgi?id=321094