Workspace manager

Build 1501 on 14/Nov/2017  This topic last edited on: 17/Mar/2016, at 18:01

Use Workspace Manager to edit or delete stored personal workspaces. Editing includes changing the name, LOS (Load on startup, or isDefault) option, Window state and description.

Deleting removes the stored data of the selected workspace.

desktopmanager_zoom70

From the Workspace Manager you can:

Apply the selected workspace, selecting any of four options: Merge to current window, Replace in current window, Add to current window, Create in new window.

Abort the applying of a workspace, by clicking Close.

Edit the name, description and the LOS/default status of the selected workspace.

Delete the selected workspace.