diff view/ViewManager.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 2c974337f306
children 199dbb3547d4
line wrap: on
line diff