didStopUserGesture method Null safety

void didStopUserGesture()

User gesture is no longer controlling the Navigator.

Paired with an earlier call to didStartUserGesture.

Implementation

void didStopUserGesture() { }