didStopUserGesture method

@override void didStopUserGesture()

User gesture is no longer controlling the Navigator.

Paired with an earlier call to didStartUserGesture.

Implementation

@override
void didStopUserGesture() {
  super.didStopUserGesture();
  for (var element in _observers) {
    element.didStopUserGesture();
  }
}