thicknessWhileDragging property
The thickness of the scrollbar when it's being dragged by the user.
When the user starts dragging the scrollbar, the thickness will animate from thickness to this value, then animate back when the user stops dragging the scrollbar.
Implementation
final double thicknessWhileDragging;