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.
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker