diff install-sh @ 1270:7527701c8076

Make selection extents more visible on hi-dpi
author Chris Cannam
date Thu, 19 Apr 2018 14:36:16 +0100
parents 7fb9b939722f
children
line wrap: on
line diff