show workspace's name

[drzraf]

so that this sole extension could easily replace https://github.com/ahmafi/gnome-activities-workspace-name

[tty2]

Sorry but the idea of the extension to provide as minimal interface as possible. I guess the extension you've mentioned can easily replace this one. I'd prefer to have various extensions to provide the choice for people. Thanks.