didStopUserGesture method

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 (NavigatorObserver observer in widget.observers)
      observer.didStopUserGesture();
  }
}