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']"
Cross-posted from my blog