Le raccourci clavier 4 touches ne fonctionne plus dans GNOME Shell
J'ai Ctrl+Alt+Super+Arrow (bas/haut) mappé pour déplacer la fenêtre vers l'espace de travail suivant/précédent dans Gnome Shell sous Ubuntu 18.04 et jusqu'à hier, tout fonctionnait bien, mais le raccourci ne fonctionne plus. J'ai vérifié dans dconf, et le raccourci est toujours là.
Chaque clé fonctionne toujours seule.
J'ai essayé d'assigner le raccourci à autre chose, mais le centre de configuration ne l'intercepte pas lorsque j'essaie de cliquer dessus.
J'ai découvert que, pour une raison quelconque, lors d'une mise à jour du package keyboard-configuration (je suppose), le raccourci alt+shift était attribué à Switching to another layout.
J'ai enlevé ça avec Gnome Tweaks:
- ouvrir Tweaks Gnome
- allez à la section Clavier et souris
- cliquez
Additional Layout Options - Supprimer la sélection de
Switching to another layout