copyWith method

RefreshTriggerTheme copyWith({
  1. ValueGetter<double?>? minExtent,
  2. ValueGetter<double?>? maxExtent,
  3. ValueGetter<RefreshIndicatorBuilder?>? indicatorBuilder,
  4. ValueGetter<Curve?>? curve,
  5. ValueGetter<Duration?>? completeDuration,
})

Creates a copy of this theme but with the given fields replaced.

Implementation

RefreshTriggerTheme copyWith({
  ValueGetter<double?>? minExtent,
  ValueGetter<double?>? maxExtent,
  ValueGetter<RefreshIndicatorBuilder?>? indicatorBuilder,
  ValueGetter<Curve?>? curve,
  ValueGetter<Duration?>? completeDuration,
}) {
  return RefreshTriggerTheme(
    minExtent: minExtent == null ? this.minExtent : minExtent(),
    maxExtent: maxExtent == null ? this.maxExtent : maxExtent(),
    indicatorBuilder:
        indicatorBuilder == null ? this.indicatorBuilder : indicatorBuilder(),
    curve: curve == null ? this.curve : curve(),
    completeDuration:
        completeDuration == null ? this.completeDuration : completeDuration(),
  );
}