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)
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)