borderRadius property Null safety
final
The border radius of the shape of the indicator.
This is used to create a RoundedRectangleBorder shape for the indicator. This is ignored if shape is non-null.
Defaults to BorderRadius.circular(16).
Implementation
final BorderRadius borderRadius;