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.
Sorry, I didn't see you called run_dispose() in the other file. It was already fine. In any case, nullifying the object is needed to free memory, because the module object is not freed after disable(), so all objects strongly referenced by it are kept alive.