micheleg

Um dock para o Gnome Shell. Esta extensão move o dash para fora da visão geral, transformando-o em um dock para facilitar o lançamento de aplicativos e a alternância rápida entre janelas e áreas de trabalho.