comparison 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
comparison
equal deleted inserted replaced
1784:0e963dac67e2 1785:c4be203b506d
5 }, 5 },
6 "svcore": { 6 "svcore": {
7 "pin": "743c38b209d0" 7 "pin": "743c38b209d0"
8 }, 8 },
9 "svgui": { 9 "svgui": {
10 "pin": "05d12869043e" 10 "pin": "7527701c8076"
11 }, 11 },
12 "svapp": { 12 "svapp": {
13 "pin": "f03bc1d38cac" 13 "pin": "f03bc1d38cac"
14 }, 14 },
15 "checker": { 15 "checker": {