NOT MAINTAINED ANYMORE Top dock for GNOME 40+. Hover top panel and GNOME Shell dash appears without overview. Scroll on dock or panel changes workspace. Preferences UI. Does use native GNOME Shell Dash. Very light extension. Please report bugs through GitHub.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Dash from Panel