user friendly way to edit workspace icons
hi! i found this extension a couple days ago, and i love it, it's really useful! one thing that bugged me however was that the workspaces were labelled with numbers, which is quite helpful, but i wanted to use icons as labels. i solved this by just editing my copy of extensions.js to display all workspaces as , which looks nicer imo. i think it'll be nice to have a preferences menu that lets you choose the label style, and the color. (i tried making it myself but making gnome extensions is confusing XD)
thought i'd mention, my workspaces look like this currently :D
Hey @derpyzza glad to see you've managed to get this to work out :+1: Open to contributions if you want to add this functionality