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