Sous Ubuntu 21.10, je sélectionne GNOME ou GNOME sur Xorg lorsque je me connecte. La version de Gnome est 40.4.0.
Je n'aime pas qu'un dock encombre l'écran, j'ai donc installé vanilla-gnome-desktop et s'appuient sur les extensions de Gnome. Par exemple, l'excellent Desktop Icons NG (DING) me donne des icônes de bureau pour lancer des programmes et gérer les lecteurs réseau montés. Pour lister les programmes en cours d'exécution, j'ai installé Window List. Cette dernière fonctionne bien, à une exception près : Vous pouvez changer d'espace de travail en faisant défiler la molette de la souris sur les vignettes ; malheureusement, la zone à droite des vignettes n'est plus incluse comme elle l'était lorsque cette extension était positionnée dans le coin, affichant "n/m" au lieu des vignettes. Voir l'image ci-jointe, où la zone qui ne réagit PAS à la molette de la souris est indiquée.
La raison pour laquelle je m'oppose à cela est bien sûr que placer le curseur dans le coin est si facile à faire.
J'ai pensé qu'il s'agissait d'un problème lié à GNOME, j'ai donc contacté les personnes de l'équipe de https://gitlab.gnome.org/GNOME/gnome-Shell-extensions pour demander de l'aide. Malheureusement, la question que j'y ai soulevée a finalement été classée avec le label Not GNOME Les développeurs n'ont pas pu reproduire ce comportement.
La question est la suivante : puis-je rétablir le comportement de défilement dans le coin, et comment ?
Mise à jour : Juste pour ajouter à la confusion : J'ai trois ordinateurs portables, et sur le troisième (un vieux HP Pavilion), il n'y a aucun problème. Les vignettes s'affichent à ras bord, et le défilement fonctionne.
Je me demande si le pilote graphique peut être le coupable. Je ne sais pas comment approfondir cette question, peut-être que quelqu'un pourrait m'indiquer la marche à suivre ?
