diff install-sh @ 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 c053d985ec8c
children
line wrap: on
line diff