Workspace settings

Workspace settings are grouped into settings for the current workspace, and global settings that apply to all your workspaces, stored in the file rvdebug.ini.

Select Workspace Workspace Options… from the Code window File menu to display the settings for the current workspace (*.aws) in the Workspace Options window. You can make changes to the workspace-specific settings in this window.

Select Options… from the Tools menu to display the global workspace settings (rvdebug.ini) in the Options window. You can make changes to the global workspace settings in this window. This option is available regardless of whether you have a workspace open.

The global settings are also displayed in the Workspace Options window, but you must remember that if you make any changes, it will affect all your workspaces.