radiusWhileDragging property Null safety

Radius radiusWhileDragging
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;