previousBoxExtent property

double? previousBoxExtent

The extent of the animated box during the last layout, in the scrolling axis.

Is null during the first layout.

Implementation

final double? previousBoxExtent;