4.7.7 The Preferences structure

useErrorBrowser

Preferences option

Structure

Shell.Options.Preferences

Type

val useErrorBrowser: bool option

Description

If true, then when running the GUI environment, compilation errors are displayed in the error browser. If false, compilation errors are printed in the listener instead. The option is true by default.

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

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