allowPullToRefresh property
Decides whether refresh indicator should be shown when datagrid is pulled down.
See also,
DataGridSource.handleRefresh – This will be called when datagrid is pulled down to refresh the data.
Implementation
final bool allowPullToRefresh;