Editing Workspace Settings

Code Insight 6.14.2

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.