void didStopUserGesture()

A user gesture is no longer controlling the navigator.

Source 

void didStopUserGesture() {
  _userGestureInProgress = false;
  config.observer?.didStopUserGesture();
}