diff .hgtags @ 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 a4e40ecc5dfc
children 38f58e9c565d
line wrap: on
line diff