Fix mouse scroll

This commit is contained in:
2025-01-25 11:19:36 +08:00
parent 5cf2f9f33a
commit bab2578b65

View File

@@ -98,8 +98,17 @@ class _SmoothScrollProviderState extends State<SmoothScrollProvider> {
_controller.position.maxScrollExtent, _controller.position.maxScrollExtent,
); );
if (_futurePosition == old) return; if (_futurePosition == old) return;
_controller.animateTo(_futurePosition!, var target = _futurePosition!;
duration: _fastAnimationDuration, curve: Curves.linear); _controller.animateTo(
_futurePosition!,
duration: _fastAnimationDuration,
curve: Curves.linear,
).then((_) {
var current = _controller.position.pixels;
if (current == target && current == _futurePosition) {
_futurePosition = null;
}
});
} }
}, },
child: ScrollControllerProvider._( child: ScrollControllerProvider._(