Config Menu

These menu options allow the configuration of the development environment.

configure menu

Line Numbers

Toggles the display of line numbers in the left margin of the edit window. This is off by default.

Word Wrap

Toggles the word wrapping of lines. This is on by default.

Color and Font options ...

Displays a dialog that allows the default colors and fonts to be modified. Modifications are saved into the registry under the current user.

Autosave Options

Displays a dialog that allows the autosave filename and the delay between autosaves to be modified.

Editor Options

Display a server defined dialog with options to configure the workbench.

Keyboard Map

Allows you to configure the workbench hotkeys.

Mouse Gestures

Toggle basic mouse gestures. Horizontal drags along x-axis allow you to replicate the actions of F6 (Revist) or Visit (Shift-F6).

Cursor

This brings up a secondary menu allowing the editor cursor shape to be chosen from Bar, Line or Block. The default is for a bar cursor.

Edit scene

This brings up a submenu allowing you to specify the window scene to be used when switching into the editor from debug mode. The default is No Change, that is to stay in the same scene.

Choose edit/debug scene menu

Debug scene

This brings up a submenu (identical to the edit scene one above) allowing you to specify the window scene to be used when switching into the debugger from the editor.

Application Help Location

Allows you to set the location of application help.