jmatsuzawa / dash-to-dock

A gnome shell extension that trasforms the dash into an intellihide dock.

https://extensions.gnome.org/extension/307/dash-to-dock/

Geek Repo

Github PK Tool