didEndScroll method Null safety

void didEndScroll()

Called by beginActivity to report when an activity has ended.

This also saves the scroll offset using saveScrollOffset.

Implementation

void didEndScroll() {
  activity!.dispatchScrollEndNotification(copyWith(), context.notificationContext!);
  saveOffset();
  if (keepScrollOffset)
    saveScrollOffset();
}