Dock for GNOME Shell 40+. 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. Some preferences in UI (thanks @rastersoft). I'm not notified of messages here, please report bugs only through GitHub.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
extension_top.js is the top version of the dock (MartinPL asked me this feature that I leave as this in a experimental state without option). The code is even shorter because I use Panel as show box...
What is `extension_top.js` doing here?
See above, you're too fast. ;-)
It's best to only have that in the repo then because users won't have that until they rename the file and that can be categorized as unnecessary files: https://gjs.guide/extensions/review-guidelines/review-guidelines.html#don-t-include-unnecessary-files You wanna send the next one without that file? btw, fix the indentation for the next version. Seems you are using both tabs and characters for indentation.
Newer version approved.