Dock

Dock 1.0

Dock è un'estensione GNOME Shell che aggiunge un bacino, consentendo agli utenti di lanciare facilmente le proprie applicazioni preferite. Essa mostra anche applicazioni in esecuzione.Per installare questa estensione è necessario avere installato...