Workspace names in the right click menu are set by the workspace-names key in org.gnome.desktop.wm.preferences, as such:
- Code: Select all
gsettings set org.gnome.desktop.wm.preferences workspace-names "['Entertainment', 'Projects', 'Programming', 'Learning', 'Homework']"
Sadly, these names do not carry through to the expo names, so you'll have to set everything twice.
Cross-posted from my blog