Le Garage hermétique

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

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

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 compatible avec la plupart des extensions impactant les espaces de travail.

Extension484.png

Extension484b.png

L'extension sur le site Gnome

Les commentaires sont fermés


aucune annexe



À voir également

Extension 701 : Top Panel Workspace Scroll

Permet de changer d'espace de travail en utilisant la molette de la souris si le pointeur est...

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...

Lire la suite