Le Garage hermétique

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

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

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 (accessibles depuis gnome-shell-extension-prefs).

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