4.7.8 The ValuePrinter structure

maximumStringSize

ValuePrinter option

Structure

Shell.Options.ValuePrinter

Type

val maximumStringSize: int option

Description

The maximumStringSize option is an integer determining the maximum number of characters to print for string values. The default value is 255.

The value of this option appears, and can be set, in the Maximum string size text box in a GUI listener, compilation manager, or inspector tool's View > Value Printer dialog.

Example

Here is an example of the result of setting maximumStringSize to 5:

MLWorks> set (maximumStringSize, 5);
val it : unit = ()
MLWorks> val bar = "He juggled five clubs at a time.";
val bar : string = "H\..."
MLWorks>