headerHeight property

double headerHeight
final

Height reserved for group headers.

Implementation

final double headerHeight;