didStopUserGesture method

@override void didStopUserGesture()

User gesture is no longer controlling the Navigator.

Paired with an earlier call to didStartUserGesture.

Implementation

@override
void didStopUserGesture() {
  _logNav("didStopUserGesture");
}