diff widgets/WindowTypeSelector.h @ 1284:51e6125627fa

Hack to ensure vertical scale lines are in the right place in pixel-doubling rendering
author Chris Cannam
date Tue, 08 May 2018 14:27:54 +0100
parents 4a578a360011
children 05d614f6e46d
line wrap: on
line diff