4.7.7 The Preferences structure

useWindowDebugger

Preferences option

Structure

Shell.Options.Preferences

Type

val useWindowDebugger: bool option

Description

If true, then when running the GUI environment, the stack browser is invoked when a raised exception reaches the top level. If false, the system enters the TTY debugger instead. The option is true by default.

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

This option has no effect if you are not using the GUI environment.