Editing Workspace Settings

Code Insight 6.14.2 SP1

To edit a workspace, do the following:

To edit a workspace, do one of the following:

•

From the Workspace Resources pull-down, select Edit Workspace Settings.

•

Click the Cog icon that corresponds to the workspace.

Note:The Workspace Details setting is the magnifying glass icon.