# HG changeset patch
# User Chris Cannam
# Date 1539178462 -3600
# Node ID 40eb06ba0f1fbb0f50589d353c3ce678a516e685
# Parent  4db75d584e5a76e385f219e900523d25ada5c89b
Use finer zoom levels for mouse-wheel zooming, as was already the case for the thumbwheel. Also extend thumbwheel to support pixels-per-frame

diff -r 4db75d584e5a -r 40eb06ba0f1f repoint-lock.json
--- 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"