didEndScroll method

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);
  if (keepScrollOffset)
    saveScrollOffset();
}