Il existe un raccourci sur Discord qui vous permet de basculer facilement entre les guildes. C'est Ctrl+ Alt+ Upet 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 de haut en bas est Super+ Page Upet Super+ Page Downet je n'ai pas pu trouver le raccourci Ctrl+ Alt+ Upou bas ailleurs. Il semble presque impossible de modifier ce raccourci, mais je suis sûr que ce n'est pas le cas, bien que je ne sache pas comment procéder.
[]
et["disabled"]
, n'est-ce pas la même chose?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
à
Idem pour l'autre combinaison de touches.
Vous pouvez exécuter ces commandes sur le terminal:
la source
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 ...
la source