Fabio/aves
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

#553 viewer: snap instead of animating below pixel dimension of vertical pager

Browse source
This commit is contained in:
Thibault Deckers 2023-04-29 23:39:01 +02:00
parent d4e7ca4b3d
commit 7542c77a8d
1 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
lib/widgets/viewer/entry_viewer_stack.dart
View file

@ -127,7 +127,20 @@ class _EntryViewerStackState extends State<EntryViewerStack> with EntryViewContr
_horizontalPager = PageController(initialPage: _currentEntryIndex); _horizontalPager = PageController(initialPage: _currentEntryIndex);
_verticalPager = PageController(initialPage: _currentVerticalPage.value)..addListener(_onVerticalPageControllerChanged); _verticalPager = PageController(initialPage: _currentVerticalPage.value)..addListener(_onVerticalPageControllerChanged);
_verticalPageAnimationController = AnimationController.unbounded(vsync: this); _verticalPageAnimationController = AnimationController.unbounded(vsync: this);
_verticalPageAnimationController.addListener(() => _verticalPager.jumpTo(_verticalPageAnimationController.value)); _verticalPageAnimationController.addListener(() {
final offset = _verticalPageAnimationController.value;
final delta = (offset - _verticalPager.offset).abs();
if (delta > precisionErrorTolerance) {
// snap instead of animating below pixel dimension so that the vertical drag gesture recognizer
// can handle a new gesture as soon as the animation appears to be complete to the user
if (delta >= 1) {
_verticalPager.jumpTo(offset);
} else {
_verticalPageAnimationController.stop();
_verticalPager.jumpToPage(_verticalPager.page!.round());
}
}
});
_overlayAnimationController = AnimationController( _overlayAnimationController = AnimationController(
duration: context.read<DurationsData>().viewerOverlayAnimation, duration: context.read<DurationsData>().viewerOverlayAnimation,
vsync: this, vsync: this,