menu
easy_refresh package
documentation
easy_refresh.dart
HeaderLocator
paintExtent property
paintExtent property
dark_mode
light_mode
paintExtent
property
double
paintExtent
final
See
SliverGeometry.paintExtent
. Extent that is always maintained.
Implementation
final double paintExtent;
easy_refresh package
documentation
easy_refresh
HeaderLocator
paintExtent property
HeaderLocator class