Le problème est que l'interface graphique des paramètres d'Ubuntu 18.04 n'affiche pas tous les raccourcis clavier.
- Il ne mentionne pas "Move (Switch) to workspace to the left/right" (bien qu'il y ait un raccourci assigné).
- Il n'affiche que le premier raccourci clavier s'il existe plusieurs raccourcis pour une commande, comme pour "Move (Switch) to workspace above/below", qui dispose en fait d'un deuxième raccourci clavier pour Ctrl + Alt + up / down .
Pour voir tous les raccourcis clavier du gestionnaire de fenêtres :
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']
Maintenant, vous pouvez voir qu'il y a un certain nombre de Ctrl + Alt + up / down / left / right les combinaisons de touches qui n'étaient pas affichées dans l'écran des paramètres.
Pour supprimer les combinaisons de touches indésirables :
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 "[]"
Vous pouvez désormais utiliser les raccourcis clavier à d'autres endroits.