minThumbLength property
The preferred smallest size the scrollbar thumb can shrink to when the total scrollable extent is large, the current visible viewport is small, and the viewport is not over scrolled.
Implementation
final double minThumbLength;