diff widgets/WidgetScale.h @ 1590:e660a00bc3b9

That didn't work well on a machine with a higher scaled-pixel ratio, try this
author Chris Cannam
date Fri, 03 Apr 2020 11:35:36 +0100
parents e7c9650e74a7
children
line wrap: on
line diff