didEndScroll method
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();
}