Dock

Dock 1.0

Dock est une extension GNOME Shell qui ajoute un dock, permettant aux utilisateurs de lancer facilement leurs applications préférées. Il montre également l'exécution des applications.Pour installer cette extension, vous devez avoir installé GNOME...