anchor.diff:  }
   
   class _CupertinoSliverRefreshControlState extends State<CupertinoSliverRefreshControl> {
  -  /// Reset the state from done to inactive when only this fraction of the
  -  /// original `refreshTriggerPullDistance` is left.
  +  // Reset the state from done to inactive when only this fraction of the
  +  // original `refreshTriggerPullDistance` is left.
     static const double _inactiveResetOverscrollFraction = 0.1;
   
     RefreshIndicatorMode refreshState;
  
positive.code:         continue drag;
        drag:
        case RefreshIndicatorMode.drag:
          if (lastIndicatorExtent == 0) {
            return RefreshIndicatorMode.inactive;
          } else if (lastIndicatorExtent < widget.refreshTriggerPullDistance) {
            return RefreshIndicatorMode.drag;
          } else {
            if (widget.onRefresh != null) {
  
negative.code:         // to 0.0 since the last bit of the animation can take some time and
          // can feel sluggish if not going all the way back to 0.0 prevented
          // a subsequent pull-to-refresh from starting.
          if (latestIndicatorBoxExtent >
              widget.refreshTriggerPullDistance * _inactiveResetOverscrollFraction) {
            return RefreshIndicatorMode.done;
          } else {
  