diff repoint-lock.json @ 2318:687512ba36e4

Fix, I think, #1874 Pointer position becomes increasingly erroneous when rewinding with alignment active
author Chris Cannam
date Fri, 13 Sep 2019 17:50:04 +0100
parents cffc956cee7a
children 61295186a887
line wrap: on
line diff
--- a/repoint-lock.json	Thu Sep 12 14:01:34 2019 +0100
+++ b/repoint-lock.json	Fri Sep 13 17:50:04 2019 +0100
@@ -7,7 +7,7 @@
       "pin": "6d6740b075c3"
     },
     "svgui": {
-      "pin": "150d4e561b07"
+      "pin": "996e971df9e7"
     },
     "svapp": {
       "pin": "94ca0ade69b6"