Hey all, I've created an extension for my idea: https://extensions.gnome.org/extension/113/labeled-spaces/
Because documentation has been hard to come by, there are a number of kinks in the extension, and it's currently lacking a tag generation feature. I don't see myself working on it for a while, so if anyone would like to release a better version please do. It's not feature complete, but I hope it can convey my idea well. Cheers, Nanley
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
