requestRefresh method
void
requestRefresh()
Requests a refresh using Future.microtask.
Implementation
void requestRefresh() {
if (_requestRefresh != null) return;
Future.microtask(() {
var req = _requestRefresh;
refresh();
// if `refresh` didn't clear `_requestRefresh`:
if (req != null && identical(req, _requestRefresh)) {
_requestRefresh = null;
}
});
}