diff vext-lock.json @ 1785:c4be203b506d

Make selection extents more visible, & make end-of-audio overlays translucent
author Chris Cannam
date Thu, 19 Apr 2018 14:41:42 +0100
parents 0e963dac67e2
children 49e9bacd0924
line wrap: on
line diff
--- a/vext-lock.json	Thu Apr 19 13:18:02 2018 +0100
+++ b/vext-lock.json	Thu Apr 19 14:41:42 2018 +0100
@@ -7,7 +7,7 @@
       "pin": "743c38b209d0"
     },
     "svgui": {
-      "pin": "05d12869043e"
+      "pin": "7527701c8076"
     },
     "svapp": {
       "pin": "f03bc1d38cac"