pump method Null safety
- [Duration duration]
Called to indicate that there should be a new frame after an optional delay.
The frame is pumped after a delay of
duration is not null,
or immediately otherwise.
This is invoked by flingFrom, for instance, so that the sequence of pointer events occurs over time.
See also SchedulerBinding.endOfFrame, which returns a future that could be appropriate to return in the implementation of this method.
Future<void> pump([Duration duration]);