Heureusement le système d'extensions vient à la rescousse.
Ce qui est marrant, tu dis que c'est bon mais tu utilises des extensions alors que les devs Gnome eux même demandent de ne pas en utiliser des extensions qui essayent de reproduire de vieux paradigmes.
[^] # Re: Maintenant ...
Posté par gnumdk (site web personnel) . En réponse au journal Gnome-Shell, toujours pas convainquant après 1 an et demi. Évalué à 3.
Ce qui est marrant, tu dis que c'est bon mais tu utilises des extensions alors que les devs Gnome eux même demandent de ne pas en utiliser des extensions qui essayent de reproduire de vieux paradigmes.