radiusWhileDragging property Null safety
final
The radius of the scrollbar edges when the scrollbar is being dragged by the user.
When the user starts dragging the scrollbar, the radius will animate from radius to this value, then animate back when the user stops dragging the scrollbar.
Implementation
final Radius radiusWhileDragging;