# HG changeset patch
# User Chris Cannam
# Date 1570201508 -3600
# Node ID 1e77e4ee27f57a23547cc5b141d36b5169a02582
# Parent  3dacb1001537468300a095f21342c0479d3b6f34
Update to new PaneStack options API

diff -r 3dacb1001537 -r 1e77e4ee27f5 main/OSCHandler.cpp
--- a/main/OSCHandler.cpp	Fri Oct 04 16:04:55 2019 +0100
+++ b/main/OSCHandler.cpp	Fri Oct 04 16:05:08 2019 +0100
@@ -426,7 +426,8 @@
                 m_viewManager->setZoomWheelsEnabled(value > 0.5);
             } else if (property == "propertyboxes") {
                 bool toggle = ((value < 0.5) !=
-                               (m_paneStack->getLayoutStyle() == PaneStack::NoPropertyStacks));
+                               (m_paneStack->getLayoutStyle() ==
+                                PaneStack::HiddenPropertyStacksLayout));
                 if (toggle) togglePropertyBoxes();
             }
                 
diff -r 3dacb1001537 -r 1e77e4ee27f5 repoint-lock.json
--- a/repoint-lock.json	Fri Oct 04 16:04:55 2019 +0100
+++ b/repoint-lock.json	Fri Oct 04 16:05:08 2019 +0100
@@ -4,13 +4,13 @@
       "pin": "0b6802e3b755"
     },
     "svcore": {
-      "pin": "f0ffc88a36b3"
+      "pin": "13bd41bd8a17"
     },
     "svgui": {
-      "pin": "d3ef60b6ae93"
+      "pin": "0f1601d870db"
     },
     "svapp": {
-      "pin": "3e930ea94db6"
+      "pin": "8e9702c0b9c7"
     },
     "checker": {
       "pin": "c8c17e51aab0"