log widgets/MenuTitle.h @ 1618:f67e9e12e101

age author description
Fri, 03 Apr 2020 11:35:36 +0100 Chris Cannam That didn't work well on a machine with a higher scaled-pixel ratio, try this