radius property Null safety
final
Radius of the spinner widget.
Defaults to 10px. Must be positive and cannot be null.
Implementation
final double radius;
Radius of the spinner widget.
Defaults to 10px. Must be positive and cannot be null.
final double radius;