From 8a9bd4deb4bc6cecb1cfd1be8dd1dc9d0e377c59 Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Wed, 12 May 2021 22:38:17 +0200
Subject: [PATCH] zooming with ctrl + mousewheel

---
 src/public/app/services/zoom.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/public/app/services/zoom.js b/src/public/app/services/zoom.js
index a45de238a..1f729db87 100644
--- a/src/public/app/services/zoom.js
+++ b/src/public/app/services/zoom.js
@@ -13,6 +13,10 @@ class ZoomService extends Component {
             options.initializedPromise.then(() => {
                 this.setZoomFactor(options.getFloat('zoomFactor'));
             });
+
+            window.addEventListener("wheel", event => {
+                this.setZoomFactorAndSave(this.getCurrentZoom() + event.deltaY * 0.001);
+            });
         }
     }
 
@@ -25,7 +29,7 @@ class ZoomService extends Component {
 
     async setZoomFactorAndSave(zoomFactor) {
         if (zoomFactor >= MIN_ZOOM && zoomFactor <= MAX_ZOOM) {
-            zoomFactor = Math.round(zoomFactor * 10) / 10;
+            zoomFactor = Math.round(zoomFactor * 1000) / 1000;
 
             this.setZoomFactor(zoomFactor);