16 juillet 2013, 17:50
Permet de changer d'espace de travail en utilisant la molette de la souris si le pointeur est positionné sur le panneau principal. Très bonne idée, sauf qu'on ne peut alors plus utiliser la molette pour régler le son en survolant le bouton son. L'extension sur le site Gnome...
Lire la suite
20 février 2013, 08:51
Désactive la gestion dynamique des espaces de travail : si l'extension est activée, ils sont au nombre de quatre. L'extension sur le site Gnome...
Lire la suite
31 décembre 2012, 08:26
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...
Lire la suite
10 décembre 2012, 05:53
Indique les noms des espaces de travail virtuels dans l'animation qui s'affiche quand vous changez d'espace de travail en utilisant les raccourcis claviers (CTRL+ALT+↑ ou CTRL+ALT+↓). PS : Je ne sais pas comment on change ces noms qui sont par défaut "Espace de travail 1", "Espace de...
Lire la suite
06 octobre 2012, 18:33
Réarrange les espaces de travail selon une grille configurable, ajoute des raccourcis gauche/droite à ceux déjà existants (haut/bas) pour changer d'espace de travail et modifie l'apparition des espaces de travail dans le mode exposition afin de prendre en compte votre grille personnalisée. Semble...
Lire la suite
21 septembre 2012, 22:42
Ajoute un indicateur d'espace de travail en cours dans le panneau principal, à gauche de l'horloge, permettant aussi de passer d'un espace à l'autre s'inspirant de l'apparence de l'ancien applet de Gnome Panel. Son concepteur prévoit de la faire évoluer afin, entre autre, de permettre de changer...
Lire la suite
22 août 2012, 18:35
Permet de donner accès aux espaces de travail sans passer par le mode 'exposition', cet accès se comportant comme un dock intelligent (apparition au survol de la souris ou bien si aucune fenêtre n'est présente dans la zone où il doit apparaître) par défaut mais des réglages sont disponibles...
Lire la suite
26 juillet 2012, 14:49
Ajoute un bouton dans le panneau principal vous permettant d'afficher des miniatures de toutes les fenêtres d'un autre espace de travail sur la droite, style 'picture in picture', si vous désirez garder un oeil sur ce qui se passe sur cet espace là. Cliquer sur une des miniatures permet de se rendre...
Lire la suite
29 juin 2012, 07:56
Permet de naviguer entre les espaces de travail (bureaux virtuels) en plaçant sa souris sur les bords de l'écran. Par défaut la souris sur le bord du bas affiche l'espace d'en dessous, la souris sur le bord du haut affiche l'espace d'au-dessus, mais de nombreuses options sont disponibles en...
Lire la suite
28 juin 2012, 22:41
Permet de naviguer entre les espaces de travail (bureaux virtuels) en plaçant sa souris sur le bord gauche de l'écran et en utilisant la molette de la souris, y compris en mode 'exposition'. Voir aussi Desktop Scroller (Original). L'extension sur le site Gnome...
Lire la suite
Derniers commentaires