comparison COPYING @ 1487:71202259002d

Round the zero-point value -- won't make a difference for longer fader widgets, but it's convenient for the level-pan widget when we have 0-10 and want zero at 8 rather than 7
author Chris Cannam
date Mon, 25 Jun 2018 14:12:27 +0100
parents c224dfa749a2
children
comparison
equal deleted inserted replaced
1486:f2fcb3ed51fa 1487:71202259002d