Le Garage hermétique

Ce site est essentiellement consacré à Gnome Shell mais pas que.

Aller au contenu | Aller au menu | Aller à la recherche

Fil des billets    Fil des commentaires

Espaces de travail

Extension 701 : Top Panel Workspace Scroll

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


Extension601.png

Extension 601 : Static workspaces

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


Extension 561 : Desktop Scroller (All sides, for GNOME 3.6/3.8)

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


Extension551.png

Extension 551 : Workspace Labels

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


Extension484.png

Extension 484 : Workspace Grid

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


Extension464.png

Extension 464 : WorkspaceBar

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


Extension427a.png

Extension 427 : Workspaces to Dock

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


Extension 404 : Workspace Monitor

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


Extension 275 : Edge-Flipping

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


Extension 235 : Desktop Scroller (Left and Overview version)

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