引っ張って更新のUIを簡単に作成できるWidget『RefreshIndicator』を紹介しました。