A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
Home Page:https://micheleg.github.io/dash-to-dock/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
