thickness property
The thickness of the scrollbar thumb.
Capped where the bar is painted so the thumb, with Material's cross-axis margin for the platform (0 on Android, 2 elsewhere), fits in trackWidth; the theme keeps the value it was given.
Implementation
final double thickness;