comparison 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
comparison
equal deleted inserted replaced
2317:cffc956cee7a 2318:687512ba36e4
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "6d6740b075c3" 7 "pin": "6d6740b075c3"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "150d4e561b07" 10 "pin": "996e971df9e7"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "94ca0ade69b6" 13 "pin": "94ca0ade69b6"
14 }, 14 },
15 "checker": { 15 "checker": {