metrics property Null safety

ScrollMetrics metrics
final

Description of a scrollable widget's ScrollMetrics.

Implementation

final ScrollMetrics metrics;