autoScrollHotspotHeight property
The height of the hotspot that enables auto-scroll.
This value is used for both top and bottom hotspots. The width is going to match the width of the widget.
Defaults to defaultAutoScrollHotspotHeight.
Implementation
final double autoScrollHotspotHeight;