使用指南

Renaming a workspace

A workspace may be renamed in the “Workspaces” window.

Do as follows:

1. Choose a workspace from the “Workspaces” list.
2. Press the “Rename” button.
3. Rename a workspace in the “Workspaces” list.
4. Press “Yes” to rename or “No” to cancel.