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. Side and bottom placement options are available.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
you have two copies of pushSignals, but its not a problem. Nice solution to remembering to disconnect your signals BTW.