Renaming a workspace

You can rename a workspace to better suit your environment.

1. Open the workspace whose name you want to change.
2. Click Properties.
   You can also open the Workspace properties from within the Properties editor by selecting the first item in the tree, which is the Navigator item to which the workspace belongs.
3. Edit the title in the Name text box.