PLEASE SWITCH TO BOTTOM DASH PANEL NEW EXTENSION.
PLEASE SWITCH TO BOTTOM DASH PANEL NEW EXTENSION
Dear user, this extension is no longer maintained but I just made a better one (well, I think so!) with settings and multi-monitor. URL: https://extensions.gnome.org/extension/9129/bottom-dash-panel/ If you want to stick to this one, you can avoid this notification by editing extension.js file (code section to remove is clearly marked).
Dock using 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.