void didStopUserGesture()

User gesture is no longer controlling the Navigator.

Source 

void didStopUserGesture() { }