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

Mot-clé - 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


Extension 700 : perWorkspaceAppSwitcher

Avec cette extension, l'ALT+TAB se limite aux fenêtres de l'espace de travail actuel. 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


UpUbuntuBottomPanel.png

Extension : Bottom Panel

Cette extension est l'équivalent de l'extension Frippery Bottom Panel qui fonctionnait sous Gnome 3.4, sauf qu'elle fonctionne sous Gnome 3.6 : elle ajoute un panneau supplémentaire en bas de l'écran comportant une liste des fenêtres actives et un changeur d'espace de travail, à la façon de Gnome 2....

Lire la suite


Extension503a.png

Extension 503 : Always Zoom Workspaces

Par défaut, dans le mode 'exposition', le panneau des espaces de travail est réduit (il faut y passer le pointeur pour qu'il soit 'développé' et pleinement visible) : Avec cette extension ce panneau des espaces de travail est toujours 'développé' : L'extension sur le site Gnome...

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


Extension440.png

Extension 440 : Workspace Separation On Dash

Modifie l'affichage du lanceur dans le mode 'exposition' de façon à n'afficher que les icônes des applications actives sur l'espace de travail courant (en plus des icônes des applications favorites). L'extension sur le site Gnome...

Lire la suite