refresh method Null safety

void refresh()

Refreshes all (RefreshWidget)s related to this provider.