Description
Turn the native GNOME dash into a dock.
Turn the native GNOME dash into a dock.
Settings: dock autohide, pressure, animation, opacity.
There is no multi-monitor support at the moment.
Very short code (less than 300 lines), very light extension: the dock object is the GNOME dash itself, so no new object is created.