Options window

The global settings that are applied to all workspaces are held in the rvdebug.ini file. If you want to view or make changes to those settings, select Options… from the Tools menu:

You can change the settings using this dialog. An asterisk (*) is displayed alongside any settings that are no longer at the default value.

For general information on changing the settings, see Changing Settings.

For specific help on any individual setting or group, right-click to display the context menu and then select the Detailed Description option.

$image\openred.gif$ For more information, see the RealView Debugger v1.8 User Guide.

$image\exclaim.gif$ If you make changes, you must save them, using either the Save Changes option or the Save and Close option from the File menu.