borderRadius property Null safety
final
The radii of the border's rounded rectangle corners.
When this border is used with a filled input decorator, see InputDecoration.filled, the border radius defines the shape of the background fill as well as the bottom left and right edges of the underline itself.
By default the top right and top left corners have a circular radius of 4.0.
Implementation
final BorderRadius borderRadius;