Line data    Source code

       1              : import 'package:flutter/material.dart';
       2              : 
       3              : extension RoundedRectangleBorderFrom on RoundedRectangleBorder {
       4            0 :   RoundedRectangleBorder from({
       5              :     BorderSide? side,
       6              :     BorderRadiusGeometry? borderRadius,
       7              :   }) {
       8            0 :       return RoundedRectangleBorder(
       9            0 :         borderRadius: borderRadius ?? this.borderRadius,
      10            0 :         side: side ?? this.side,
      11              :       );
      12              :   }
      13              : }
      14              : 
      15              : extension CircleBorderFrom on CircleBorder {
      16            0 :   CircleBorder from({
      17              :     BorderSide? side,
      18              :     double? eccentricity
      19              :   }) {
      20            0 :       return CircleBorder(
      21            0 :         eccentricity: eccentricity ?? this.eccentricity,
      22            0 :         side: side ?? this.side,
      23              :       );
      24              :   }
      25              : }