Dans Ubuntu 16.04 (Unity), j’ai un jeu de raccourcis pour changer d’espace de travail en maintenant Super+ MouseWheelUp ou Super+ MouseWheelDown. J'essaie d'installer quelque chose de similaire sur GNOME avec Ubuntu 17.10. Cependant, je ne parviens pas à utiliser Paramètres, GNOME Tweaks ou l'éditeur DConf pour ajouter des boutons de souris dans les raccourcis clavier. Est-ce que quelqu'un peut-il me montrer la bonne direction?
Mon but:
Super+ MouseWheelUp lié à Workspace Up
Super+ MouseWheelDown lié à l'espace de travail bas
Cette combinaison est là dans GNOME par défaut, la seule différence est que vous devrez libérer super avant de commencer le défilement.
Le flux de travail est donc ici: appuyez sur et relâchez super, puis MouseWheelUp pour aller à l’espace de travail ci-dessus ou MouseWheelDown pour aller à l’espace de travail ci-dessous.