4.7.7 The Preferences structure

maximumErrors

Preferences option

Structure

Shell.Options.Preferences

Type

val maximumErrors: int option

Description

The maximumErrors option is an integer setting the maximum number of errors to be listed in an error browser. It has a default value of 30.

The value of this option appears, and can be set, in the Maximum number of errors text box on the GUI environment's Preferences > General dialog.

The value of this option has no effect if you are not in the GUI environment.