comparison data/fileio/CSVStreamWriter.h @ 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 743c38b209d0
children 560453546749
comparison
equal deleted inserted replaced
1486:f2fcb3ed51fa 1487:71202259002d