RadiusExtension extension
Extension on Widget to add rounded corners functionality.
- on
Properties
- rounded → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 15 logical pixels to the widget.no setter - roundedFull → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a circular border radius to the widget, making it a full circle.no setter - roundedLg → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 25 logical pixels to the widget.no setter - roundedMd → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 20 logical pixels to the widget.no setter - roundedNone → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Removes the border radius from the widget, making it square.no setter - roundedSm → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 10 logical pixels to the widget, making it more rounded.no setter - roundedXl → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 30 logical pixels to the widget.no setter - roundedXs → ClipRRect
-
Available on Widget, provided by the RadiusExtension extension
Applies a border radius of 5 logical pixels to the widget, making it slightly rounded.no setter
Methods
-
withRounded(
{required double radius}) → ClipRRect -
Available on Widget, provided by the RadiusExtension extension
Adds rounded corners to the widget with a specified radius.