headerMaxExtent property

double headerMaxExtent
final

The maximum extent (height) of the header.

Implementation

final double headerMaxExtent;