Il existe un raccourci sur Discord qui vous permet de basculer facilement entre les guildes. Ses Ctrl+Alt+Up et Ctrl+Alt+Down.
Le problème est que Gnome utilise ce raccourci pour changer les espaces de travail. J'ai deux moniteurs, donc je n'utilise pas très souvent des espaces de travail supplémentaires, j'ai donc ouvert les paramètres et recherché le raccourci pour pouvoir le désactiver.
J'ai trouvé que, apparemment, le raccourci pour basculer entre les espaces de travail est Super+Page Up et Super+Page Down et je n'ai pas pu trouver le Ctrl+Alt+Up ou raccourci vers le bas n'importe où ailleurs. Il semble presque que ce raccourci ne puisse pas être modifié, mais je suis sûr que ce n'est pas le cas, bien que je ne sache pas comment procéder.
En général, cela peut se produire car le système d'exploitation (système de fenêtres) a la priorité et intercepte ce raccourci et arrête la propagation vers l'application souhaitée. Solution: Suppression des raccourcis à l'aide de dconf-editor:
Sudo apt-get install dconf-tools
dconf-editor
/org/gnome/desktop/wm/keybindings/
switch-to-workspace-down
, mettez ['disabled']
au lieu de défautdconf-editor
et vous avez terminéJ'ai toujours ce problème lorsque je veux utiliser des raccourcis Eclipse IDE: https://bugs.Eclipse.org/bugs/show_bug.cgi?id=321094
Paramètres Gnome affiche uniquement la combinaison de touches Super pour changer d'espace de travail; même gnome-Tweak-tool
n'est pas utile.
Quoi qu'il en soit, vous pouvez toujours ouvrir dconf
et modifier les deux clés associées:
de
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']
Idem pour l'autre combinaison de touches.
Vous pouvez exécuter ces commandes sur le terminal:
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']"
Puisque vous avez deux moniteurs et n'avez pas besoin d'espace de travail, je proposerai de désactiver les raccourcis pour "Déplacer vers l'espace de travail au-dessus/en dessous":
En fait, j'ai désactivé tous les raccourcis liés à l'espace de travail ...