@tbernard I am missing workspace names, similar to what space-bar gnome extension does. The problem if you don't have workspace names is that it's hard to remember which workspace you put something on. It's a minor thing that would make workspaces much more useful 🙏 extensions.gnome.org/extension