13.5.4. Changing your workspace settings

You can change editor defaults by changing the Edit settings in your current workspace or in your global configuration file. Make changes here so that these settings are used the next time RealView Debugger starts and persist to all windows in a session.

If you are working with a workspace, select Tools → Workspace Options... to make these changes. If you are working without a workspace, select Tools → Options... to make these changes to your global configuration file so that they are available in future debugging sessions.

Table 13.4 describes Edit settings that you can change.

Table 13.4. Edit settings in workspace

Name

Properties

Backup

File backup controls.

Tab_conv

Tab to space, and space to tab, conversion settings.

Src_ctrl

Source control settings.

Drag_drop_dis

Disable drag-and-drop text editing.

Vi

If enabled, this automatically starts the File Editor in vi mode.

Indent

Specify auto-indent for a new line when entering source code.

Undo

Specify the levels of undo and redo.

Tab

Specify tab spacing in the File Editor.

Shift

Specify the number of characters for Shift Left, Shift Right, and auto-indent.

Line_number

If set to True, this displays line numbers. The default is False.

No_tooltip

If set to False, the default, this displays hover-style evaluation when you hold your mouse pointer over a variable in the Src tab or a register in the Dsm tab.

Timer

The File Editor periodically checks to see if another editor has changed the current file. The default value is 60 seconds. You can enter a new value of >30 seconds. Setting this to -1 disables the check.

Tool_save

Tool-save allows for automatic saving of files in a build. The default is to prompt.

Startup

The default start-up file rvdebug.sav holds RealView Debugger information and the list of previously used editor files. Setting this to - disables this file.

Template

The default template file, see Using templates.

Restore_state

The restore state for standalone editor files only, see Using standalone editors.

For full details on changing your workspace settings to define editing controls, see Chapter 11 Configuring Workspace Settings.

Copyright © 2003, 2004 ARM Limited. All rights reserved.ARM DUI 0234B
Non-Confidential