merge static method

Widget merge({
  1. Key? key,
  2. Curve? curve,
  3. Duration? duration,
  4. TargetPlatform? platform,
  5. WxAnchorStyle? style,
  6. bool? overlay,
  7. bool? feedback,
  8. bool? focusable,
  9. bool? disabled,
  10. MouseCursor? mouseCursor,
  11. WxAnchorThemeData? data,
  12. required Widget child,
})

Creates an WxAnchorTheme that controls the style of descendant widgets, and merges in the current WxAnchorTheme, if any.

The child arguments must not be null.

Implementation

static Widget merge({
  Key? key,
  Curve? curve,
  Duration? duration,
  TargetPlatform? platform,
  WxAnchorStyle? style,
  bool? overlay,
  bool? feedback,
  bool? focusable,
  bool? disabled,
  MouseCursor? mouseCursor,
  WxAnchorThemeData? data,
  required Widget child,
}) {
  return Builder(
    builder: (BuildContext context) {
      final parent = WxAnchorTheme.of(context);
      return WxAnchorTheme(
        key: key,
        data: parent.merge(data).copyWith(
              curve: curve,
              duration: duration,
              platform: platform,
              style: style,
              overlay: overlay,
              feedback: feedback,
              focusable: focusable,
              disabled: disabled,
              mouseCursor: mouseCursor,
            ),
        child: child,
      );
    },
  );
}