4.7.8 The ValuePrinter structure

showExnDetails

ValuePrinter option

Structure

Shell.Options.ValuePrinter

Type

val showExnDetails: bool option

Description

If true, extra details about exceptions are given in the editor browser.

The value of this option corresponds to, and can be set via, the Show exception details option button in a GUI listener, compilation manager, or inspector tool's View > Value Printer dialog.