Fil des billets
Fil des commentaires
Mot-clé - dock
Extension 427 : Workspaces to Dock
22 août 2012, 18:35
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...
Extension 394 : Enhanced Dock for running Programs and with Preview
22 juillet 2012, 23:59
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...
Extension 335 : WinThumbnails
30 juin 2012, 15:04
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,...
Extension 307 : Dash to Dock
30 juin 2012, 09:55
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...
Extension 265 : Deepin Enhanced Dock
29 juin 2012, 07:39
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)...
Extension 105 : Panel-Docklet v14
25 juin 2012, 19:56
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...
Extension 17 : Dock
24 juin 2012, 22:14
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...
Derniers commentaires