Description
Dock.
Dock.
New version and no prefs for 45+ (maybe coming soon).
Does use native GNOME Shell Dash. Very light extension.
Hover the bottom of your screen and GNOME Shell dash will appear without overview and will hide when you leave the dash. Native GNOME Shell click behavior is modified: minimize if one window is open, overview if many windows are open. Scroll on the dock to change workspace.
I'm not notified of messages here, please report bugs only through GitHub.