view .tonioni @ 1507:996e971df9e7

Fix, I think, #1914 Mounting rounding error when dragging aligned view left/right - and therefore the associated #1874 Pointer position becomes increasingly erroneous when rewinding with alignment active
author Chris Cannam
date Fri, 13 Sep 2019 17:40:59 +0100
parents 54f97c0afeec
children
line wrap: on
line source