didStopUserGesture method Null safety

void didStopUserGesture()

A user gesture completed.

Notifies the navigator that a gesture regarding which the navigator was previously notified with didStartUserGesture has completed.

Implementation

void didStopUserGesture() {
  assert(_userGesturesInProgress > 0);
  _userGesturesInProgress -= 1;
  if (_userGesturesInProgress == 0) {
    for (final NavigatorObserver observer in _effectiveObservers) {
      observer.didStopUserGesture();
    }
  }
}