Enable zoom on ctrl + mouse wheel

yuyichao · Feb 3, 2022 · 9d294ed · 9d294ed
1 parent 37c02d1
commit 9d294ed
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 7 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -309,7 +309,7 @@
         "resize-observer-polyfill": "^1.5.1",
         "split-grid": "^1.0.11",
         "stream-browserify": "^3.0.0",
-        "svg-pan-zoom": "github:bumbu/svg-pan-zoom",
+        "svg-pan-zoom": "github:yuyichao/svg-pan-zoom",
         "util": "^0.12.4",
         "wavecanvas": "^1.1.0",
         "yosys2digitaljs": "^0.6.0",

diff --git a/view/main.mjs b/view/main.mjs
@@ -318,9 +318,13 @@ class DigitalJS {
             fit: false,
             center: false,
             dblClickZoomEnabled: false,
-            // zoomScaleSensitivity: 0.4,
+            mouseWheelZoomEnabled: true,
+            zoomScaleSensitivity: 0.2,
             panEnabled: false,
-            zoomEnabled: false,
+            zoomEnabled: true,
+            mouseWheelEventFilter: (evt) => {
+                return (evt.ctrlKey || evt.metaKey) && !evt.shiftKey && !evt.altKey;
+            },
             onZoom: function(scale) {
                 // TODO
                 // currentScale = scale;