user friendly way to edit workspace icons

[derpyzza]

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)

[derpyzza]

thought i'd mention, my workspaces look like this currently :D

[andyrichardson]

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