comparison repoint-lock.json @ 604:fd86f443678a

Workaround for #1930 "Crash on Windows when opening session file after another file has been opened" - use reworked PaneStack API to enforce never creating property boxes
author Chris Cannam
date Fri, 04 Oct 2019 13:57:02 +0100
parents e50b2e568679
children b03b967c3d2e
comparison
equal deleted inserted replaced
603:e50b2e568679 604:fd86f443678a
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "13bd41bd8a17" 7 "pin": "13bd41bd8a17"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "4fab699536f9" 10 "pin": "0f1601d870db"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "3e930ea94db6" 13 "pin": "8e9702c0b9c7"
14 }, 14 },
15 "checker": { 15 "checker": {
16 "pin": "c8c17e51aab0" 16 "pin": "c8c17e51aab0"
17 }, 17 },
18 "piper-vamp-cpp": { 18 "piper-vamp-cpp": {