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é - dock

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


Extension394.png

Extension 394 : Enhanced Dock for running Programs and with Preview

Développée par l'équipe de Linux Deepin à l'origine, avec quelques modifications, cette extension ajoute un dock servant aussi de liste de fenêtres actives sous forme d'icônes au panneau principal avec visualisation de ces fenêtres sous forme de miniatures. Attention cette extension fait aussi les...

Lire la suite


Extension335.png

Extension 335 : WinThumbnails

Ajoute à l'interface un dock des fenêtres affichant des miniatures des fenêtres ouvertes, ce qui peut éviter de passer par le mode 'exposition' pour y accéder. De nombreux réglages sont disponibles : affichage à droite ou à gauche de l'écran, masquage automatique ou non, taille des miniatures,...

Lire la suite


Extension307.png

Extension 307 : Dash to Dock

Article mis à jour ce jeudi 6 décembre Transforme le lanceur des applications en un dock 'intelligent' : il devient visible même lorsqu'on n'est pas en mode 'exposition' et se comporte, par défaut, comme un dock en mode 'évitement des fenêtres'. De nombreux réglages sont disponibles, dans deux...

Lire la suite


Extension265.png

Extension 265 : Deepin Enhanced Dock

Développée par l'équipe de Linux Deepin, cette extension ajoute un dock servant aussi de liste de fenêtres actives sous forme d'icônes au panneau principal avec visualisation de ces fenêtres sous forme de miniatures. Existe aussi pour Gnome 3.4 (Enhanced Dock for running Programs and with Preview)...

Lire la suite


Extension105.png

Extension 105 : Panel-Docklet v14

Affiche les fenêtres ouvertes sous forme d'icônes dans un panneau très personnalisable qui peut devenir, suivant la personnalisation choisie, une liste de fenêtre intégrée dans le panneau principal, un dock, un panneau supplémentaire, etc. L'extension sur le site Gnome...

Lire la suite


Extension17.png

Extension 17 : Dock

Affiche un dock qui reprend les applications favorites plus celles en cours d'utilisation. Des paramètres sont disponibles. Si vous choisissez l'installation par le site Gnome, il vous faut modifier le fichier .js de l'extension, situé dans le répertoire ~/.local/share/gnome-shell/extensions/ de...

Lire la suite