headerMinExtent property

double headerMinExtent
final

The minimum extent (height) of the header.

Implementation

final double headerMinExtent;