Description
SUPERSEDED BY BOTTOM DASH PANEL EXTENSION.
SUPERSEDED BY BOTTOM DASH PANEL EXTENSION https://extensions.gnome.org/extension/9129/bottom-dash-panel/
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.