thumbFraction property
double
get
thumbFraction
Implementation
double get thumbFraction {
if (historySize <= 0) return 1.0;
final viewport = viewportRows.clamp(1, historySize + viewportRows);
return (viewport / (historySize + viewport)).clamp(minThumbFraction, 1.0);
}