Pull to Refresh

We implement a RefreshIndicator, allowing our users to pull and refresh.

Created 2018-10-20, updated 2018-10-20.

Source code.

Master show notes