Browsing tag: workspace label  

Workspace Labels

This GNOME-Shell add-on adds workspace names to the workspace switcher

Jan 14th 2013, 00:15 GMT