diff 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
line wrap: on
line diff
--- a/repoint-lock.json	Tue Oct 01 11:32:03 2019 +0100
+++ b/repoint-lock.json	Fri Oct 04 13:57:02 2019 +0100
@@ -7,10 +7,10 @@
       "pin": "13bd41bd8a17"
     },
     "svgui": {
-      "pin": "4fab699536f9"
+      "pin": "0f1601d870db"
     },
     "svapp": {
-      "pin": "3e930ea94db6"
+      "pin": "8e9702c0b9c7"
     },
     "checker": {
       "pin": "c8c17e51aab0"