diff widgets/NotifyingToolButton.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 9907be1c4f89
children a18e78b9c78b
line wrap: on
line diff