18.04 Modifier le raccourci clavier de Workspace, en conflit avec celui pour changer d'applications sur le tableau de bord
J'ai suivi les étapes mentionnées dans: 18.04 Changer le raccourci pour changer d'espace de travail - Demander à Ubunt , pour changer les raccourcis clavier pour passer à un autre espace de travail, comme on peut le voir dans l'image suivante:
La plupart du temps, cela fonctionne. Mais, parfois, ce raccourci que j'ai défini Super+1 et ainsi de suite entre en conflit avec l'autre raccourci: les icônes du tableau de bord ou du Dock Ubuntu (sur le bord gauche de l'écran sont commutées) comme indiqué dans la figure suivante: (Vous pouvez observer que des chiffres apparaissent au bas de chaque icône.)
Comment puis-je désactiver ou modifier complètement les raccourcis pour changer d'applications sur le tiret vertical, afin qu'il n'entre pas en conflit avec les raccourcis de commutation de mon espace de travail?
Cette commande désactivera le comportement des touches de raccourci.
gsettings set org.gnome.Shell.extensions.dash-to-dock hot-keys false
Cette commande désactivera l'affichage des nombres.
gsettings set org.gnome.Shell.extensions.dash-to-dock hotkeys-overlay false
Si vous souhaitez modifier les raccourcis de ces comportements.
Ouvrez le dconf-editor (s'il n'est pas encore installé, utilisez Sudo apt install dconf-editor)
changez les valeurs comme par exemple: app-hotkey-8 de '<Super>'8 à '<Ctrl>8' ou tout raccourci valide que vous préférez.
