RefreshIndicator

Also written: pull to refresh

A widget that reloads a list when you drag it down. Its `onRefresh` must return a `Future`; the spinner stays until it finishes.