diff widgets/PropertyBox.cpp @ 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 76b388d4d19c
children 284a38c43721
line wrap: on
line diff