animatedPageDragger property

AnimatedPageDragger animatedPageDragger
getter/setter pair

AnimatedPageDragger required for completing the animation when UpdateType is UpdateType.doneAnimating

Implementation

late AnimatedPageDragger animatedPageDragger;