shrinkOffset property

double shrinkOffset
final

The current shrink offset of the header, used to determine the position of the separator relative to the header's scroll position.

Implementation

final double shrinkOffset;