You can change editor defaults by changing the Edit settings
in your current workspace, shown in Figure 11.3, 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 File → Workspace → 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 11.3 describes Edit settings
that you can change.
Table 11.3. 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 | Not used. |
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 |
No_tooltip | If set to |
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 |
Tool_save | Tool-save enables the automatic saving of files in a build. The default is to prompt. |
Startup | The default start-up file |
Template | The default template file, see Using templates. |
Restore_state | Not used. |
For full details on changing your workspace settings to define editing controls, see the chapter describing configuring workspaces in RealView Developer Kit v2.2 Debugger User Guide.
PDF version