linuxmint/Cinnamon — pull request #931 by autarkper (2012-07-18 12:27:14+00:00)
Title: Workspace name rework

* Don't save any default workspace names to persistent store; create localizable names as needed ("WORKSPACE 1", etc.) and let user-defined names override them.
* Improve the workspace-name-editing functionality in Expo, so that Escape undoes an edit.
* Let Main save the workspace names, but only when needed, to minimize the risk of crashing on exiting Expo.
* Only show workspace OSD if a workspace shift actually took place.