Renaming Workspaces

You can rename a workspace through the Workspace Manager dialog box.