Comment changer les raccourcis clavier pour changer d'espace de travail dans gnome3?

15

Je sais que vous pouvez aller dans Paramètres système-> Clavier-> Raccourcis et modifier les liaisons pour basculer entre les espaces de travail dans l'onglet Navigation, mais cela ne fonctionne pas pour moi. Je peux changer beaucoup d'autres choses dans les raccourcis, comme le raccourci pour ouvrir le terminal, mais pour une raison quelconque, je ne peux pas changer les liaisons de navigation. Y a-t-il une autre façon de changer cela ou y a-t-il un moyen de le faire reconnaître mes changements là-bas?

Et juste pour que nous soyons clairs, j'ai essayé de le changer dans l'onglet Navigation en CTRL+ (LEFT/RIGHT/UP/DOWN)et F1/F2/F3/F4et CTRL+ ALT+ SUPER+ (LEFT/RIGHT/UP/DOWN), mais aucun de ceux-ci ne fonctionne, il ne répond à aucune de mes modifications et reste comme CTRL+ ALT+ (LEFT/RIGHT/UP/DOWN)....

Toute aide serait appréciée, je recherche cela depuis 2 jours et tout dit de le changer dans les paramètres système-> Clavier-> Raccourcis, mais cela ne fonctionne pas ...

shortcut-keys keyboard gnome workspaces xander528
la source
Le problème persiste également sur Linux Mint Cinnamon. [ unix.stackexchange.com/questions/71460/…
Adam Ryczkowski

Réponses:

18

Enfin, j'ai trouvé une solution.

Il semble que vous devez modifier manuellement les paramètres avec le dconf-editor(package dconf-tools).

Pour modifier la liaison du clavier de l'espace de travail, il faut utiliser dconf-tool et modifier les paramètres sous path org -> gnome -> desktop -> wm -> keybindings.

La syntaxe des raccourcis clavier est la même que dans les autres éditions Gnome et la même que celle affichée dans "Paramètres système-> Clavier-> Raccourcis".

Adam Ryczkowski
la source
1
Très utile lorsque les raccourcis de navigation avant et arrière dans Intellij ne fonctionnent pas, même après avoir désactivé le raccourci à l'aide de l'outil GUI.
Giovanni Toraldo
1

Vous pouvez également les définir dans la console avec

gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-left "['<Control><Shift><Alt>Left']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-right "['<Control><Shift><Alt>Right']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-up "['<Control><Shift><Alt>Up']"
gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-down "['<Control><Shift><Alt>Down']"

changer les combinaisons de touches données comme bon vous semble.

Leftet Rightn'ont pas beaucoup de sens dans vanilla Gnome 3, car la disposition de l'espace de travail est strictement verticale, mais j'utilise l' extension Workspace Grid , c'est pourquoi je les ai listés.

Zoltán
la source