micheleg

Un dock para Gnome Shell. Esta extensión saca el panel de la vista general transformándolo en un dock para un lanzamiento más fácil de aplicaciones y un cambio más rápido entre ventanas y escritorios.