micheleg

Un dock pour Gnome Shell. Cette extension déplace le dash hors de la vue d'ensemble pour le transformer en dock, facilitant le lancement d'applications et le basculement entre les fenêtres et les bureaux.