didStopUserGesture method
User gesture is no longer controlling the Navigator.
Paired with an earlier call to didStartUserGesture.
Implementation
@override
void didStopUserGesture() {
for (final observer in getObservers().toList()) {
observer.didStopUserGesture();
}
}