options property

PullToRefreshOptions options
getter/setter pair

Implementation

late PullToRefreshOptions options;