didStopUserGesture method

void didStopUserGesture ()

User gesture is no longer controlling the Navigator.

Paired with an earlier call to didStartUserGesture.

Implementation 

void didStopUserGesture() { }