diff widgets/SubdividingMenu.h @ 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 edfc38ade098
children
line wrap: on
line diff