diff .hgtags @ 2318:687512ba36e4

Fix, I think, #1874 Pointer position becomes increasingly erroneous when rewinding with alignment active
author Chris Cannam
date Fri, 13 Sep 2019 17:50:04 +0100
parents c526833367d8
children 563806a64a2f 10f7d8210957
line wrap: on
line diff