radius property

double radius
final

Radius of the spinner widget.

Defaults to 10 pixels. Must be positive.

Implementation

final double radius;