4.7.7 The Preferences structure

useDebugger

Structure

Shell.Options.Preferences

Type

val useDebugger: bool option

Description

If you are running the GUI environment and this option is true, MLWorks enters the debugger when a compilation error occurs, or when a raised exception reaches the top level. The kind of debugger MLWorks enters depends on the settings of useErrorBrowser, page 118, and useWindowDebugger, page 118.

If you are running the GUI environment and this option is false, MLWorks does not enter any debugger but instead prints a simple error message and returns a prompt for more input.

This option is true by default. It has no effect if you are not in the GUI environment.

The value of this option corresponds to, and can be set via, the Use debugger option button on the GUI environment's Preferences > General dialog.

Generated with Harlequin WebMaker