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.
Yes, for some reason I've called run_dispose() in the dockedDash destructor, but as you suggest the place where it makes sense to put it in the disable() function. I've also just realized that I haven't included the prefs.js in the this zip-file... Just one clarification: why is important to nullify the settings object? Is it because I'm using run_dispose() instead of manually disconnecting each signal or should I always nullify created objects in the disable function after having "destroyed" them?