ユーザーが画面を下に引っ張ってデータを更新する動作を実装するウィジェットはどれか。

RefreshIndicatorはリストの先頭を引っ張る更新アクションを提供する。