radius property Null safety

double radius
final

Radius of the spinner widget.

Defaults to 10px. Must be positive and cannot be null.

Implementation

final double radius;