Extension 561 : Desktop Scroller (All sides, for GNOME 3.6/3.8)
Publié le lundi 31 décembre 2012, 08:26 - modifié le 15/07/13 - Espaces de travail - Lien permanent
- Article
- |
- Commentaires (4)
- |
- Fichiers attachés (4)
Cette extension compile et complète les extensions Desktop Scroller (Left, Right). Elle permet d'utiliser n'importe quel bord de l'écran pour changer d'espace de travail : mettre le pointeur sur le bord choisi puis utiliser la molette de la souris pour changer.
Son défaut c'est qu'on ne peut choisir qu'un seul bord (haut, bas, droite, gauche) alors qu'avec les extensions précédentes, plusieurs bords pouvaient être actifs en même temps (droite ET gauche), si on installait plusieurs extensions. Peut-être que dans le futur...
On peut maintenant choisir plusieurs bords pour changer d'espace de travail.
Derniers commentaires