menu
pull_to_refresh package
documentation
pull_to_refresh.dart
RefreshIndicator
height property
height property
dark_mode
light_mode
height
property
double
height
final
the visual extent indicator
Implementation
final double height;
pull_to_refresh package
documentation
pull_to_refresh
RefreshIndicator
height property
RefreshIndicator class