From 692a1577d197de6082595841fc0c1b15ab990cc4 Mon Sep 17 00:00:00 2001
From: lukas-heiligenbrunner <lukas.heiligenbrunner@gmail.com>
Date: Mon, 14 Nov 2022 13:46:07 +0100
Subject: [PATCH] allow scrolling with mousewheel

---
 lib/canvas/drawing_page.dart | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/lib/canvas/drawing_page.dart b/lib/canvas/drawing_page.dart
index 9ee9395..5add434 100644
--- a/lib/canvas/drawing_page.dart
+++ b/lib/canvas/drawing_page.dart
@@ -147,6 +147,14 @@ class _DrawingPageState extends State<DrawingPage> {
     return Listener(
       behavior: HitTestBehavior.opaque,
       onPointerMove: (e) => _onPointerMove(e, canvasSize),
+      onPointerSignal: (pointerSignal) {
+        debugPrint('got pointer signal: $pointerSignal');
+
+        if (pointerSignal is PointerScrollEvent) {
+          final delta = pointerSignal.scrollDelta;
+          _calcNewPageOffset(-delta, size.width);
+        }
+      },
       onPointerDown: (d) {
         Offset pos = d.localPosition;
         final scale = calcPageDependentScale(zoom, a4Page, canvasSize);