Le Garage hermétique

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 choses suivantes :

• Elle supprime le titre de l'application qui a le focus ;
• Elle envoie l'heure à droite ;
• Elle agrandit horizontalement la partie gauche du panneau principal (qui normalement s'arrête à la moitié de l'écran) jusqu'à la zone de notification afin de pouvoir recevoir d'éventuelles nombreuses icônes d'application lancées ;
• Elle affiche un bouton pour réduire toutes les fenêtres.

C'est, à mon avis, une erreur d'intégrer autant de choses dans une seule extension (sans pouvoir désactiver ces fonctions non 'prévues') : d'une part on n'a pas forcément envie que l'extension fasse tout cela en même temps (mieux vaut plusieurs extensions), d'autre part cela augmente le risque d'incompatibilité avec d'autres extensions.

Existe aussi pour Gnome 3.2 (Deepin Enhanced Dock).

L'extension sur le site Gnome