From bab2578b65da6bdf9d4dd2caf503733212db34a2 Mon Sep 17 00:00:00 2001
From: nyne <me@nyne.dev>
Date: Sat, 25 Jan 2025 11:19:36 +0800
Subject: [PATCH] Fix mouse scroll

---
 lib/components/scroll.dart | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

diff --git a/lib/components/scroll.dart b/lib/components/scroll.dart
index 9eeedd1..dd0df47 100644
--- a/lib/components/scroll.dart
+++ b/lib/components/scroll.dart
@@ -98,8 +98,17 @@ class _SmoothScrollProviderState extends State<SmoothScrollProvider> {
             _controller.position.maxScrollExtent,
           );
           if (_futurePosition == old) return;
-          _controller.animateTo(_futurePosition!,
-              duration: _fastAnimationDuration, curve: Curves.linear);
+          var target = _futurePosition!;
+          _controller.animateTo(
+            _futurePosition!,
+            duration: _fastAnimationDuration,
+            curve: Curves.linear,
+          ).then((_) {
+            var current = _controller.position.pixels;
+            if (current == target && current == _futurePosition) {
+              _futurePosition = null;
+            }
+          });
         }
       },
       child: ScrollControllerProvider._(