Case Size Overview Threshold

Type: Selection

Range: { 0 .. maxint }

Default: 10000

This is a helper option for the option Case Size Overview.