didStopUserGesture method Null safety
A user gesture completed.
Notifies the navigator that a gesture regarding which the navigator was previously notified with didStartUserGesture has completed.
Implementation
void didStopUserGesture() {
assert(_userGesturesInProgress > 0);
_userGesturesInProgress -= 1;
if (_userGesturesInProgress == 0) {
for (final NavigatorObserver observer in _effectiveObservers) {
observer.didStopUserGesture();
}
}
}