RensAlthuis

I come with good news, I've spend most of my free time this last week bringing vertical workspaces to gnome 40. It's coming along quite well. I'd like to bring...

Yeah, seems the folks at gnome reverted the changes that broke so many extensions and all those extensions that were fixed are now broken again :tada: Relevant commit: https://github.com/GNOME/gnome-shell/commit/2bf544e2726f238603bb83d6df2f619097028d13 3.36.5...

Yeah, I don't have time to work on this and I'm also no longer using it myself any longer so it is pretty much abandoned. I am willing to hand...

I do still use it myself! I'll definitely update it to the new version when I have te time (so when I'm forced to basically)

Ah yeah, I wasn't planning on fully maintaing this. Just some bug fixes, so I don't want to release it on the extension site. Anyway.. The way I do it...