Rename Workspace
You can assign different names to each of the workspaces. Being active the workspace you want to rename, go to the option Workspace > Rename Workspace... from the main menu of the application, and enter the new name in the dialog box. Then press the OK button.
Workspace › Rename Workspace...
—
Last Update: 27/05/2014 19:28 UT