I committed this new one:
Reviewed, soon available through GNOME extensions website.
https://extensions.gnome.org/review/60832
What’s the point?
- use native GNOME Shell extensions (Window List, Workspaces Indicator)
- offer a classical experience like GNOME Classic is supposed to do
- do not waste a part of the display using a bottom panel
- offer a sort of task bar
Diff from these official extensions is small and easily maintainable, following GNOME Shell extensions commits. (I did not succeed simply reusing existing objects from these official extensions.)
Here is a quick look:
Prefs are (nearly) those from official extensions.