diff repoint-lock.json @ 2457:a94b289f0b93 background-mode

Re-enable background mode switching, and make some fixes to it
author Chris Cannam
date Fri, 17 Jan 2020 13:51:22 +0000
parents 38f259c3be10
children 74d73990ac1d
line wrap: on
line diff
--- a/repoint-lock.json	Wed Jan 15 14:04:39 2020 +0000
+++ b/repoint-lock.json	Fri Jan 17 13:51:22 2020 +0000
@@ -7,10 +7,10 @@
       "pin": "23d5cb3f9f38"
     },
     "svgui": {
-      "pin": "5f6fdd525158"
+      "pin": "4e466690bf20"
     },
     "svapp": {
-      "pin": "16932dfaf64e"
+      "pin": "c980a0300c58"
     },
     "checker": {
       "pin": "ef64b3f171d9"