changeset 2032:40eb06ba0f1f

Use finer zoom levels for mouse-wheel zooming, as was already the case for the thumbwheel. Also extend thumbwheel to support pixels-per-frame
author Chris Cannam
date Wed, 10 Oct 2018 14:34:22 +0100
parents 4db75d584e5a
children ab8297cc6d6e
files repoint-lock.json
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/repoint-lock.json	Wed Oct 10 08:58:20 2018 +0100
+++ b/repoint-lock.json	Wed Oct 10 14:34:22 2018 +0100
@@ -4,10 +4,10 @@
       "pin": "da86fb0bccb3"
     },
     "svcore": {
-      "pin": "4de4284d0596"
+      "pin": "05c3fbaec8ea"
     },
     "svgui": {
-      "pin": "86429ff00f05"
+      "pin": "40b9a495a0e0"
     },
     "svapp": {
       "pin": "b936872faff2"