Re: Patch to improve GUI editor on HiDPI displays

[Nicholas Jankowski]

On Fri, Apr 27, 2018 at 12:03 PM, Mike Miller <address@hidden> wrote:

On Thu, Apr 26, 2018 at 21:49:33 -0700, John Swensen wrote:
> I don’t see a problem either on my MacOS with Homebrew. In fact, I
> don’t see any difference with and without the patch.

Thanks for testing.

Any Windows testers?

this is a HiDPI problem?  what sort of screen setup would be needed to test/verify?  and of course it would need someone able to compile and test on windows. one of these days I'll get set up to do that, but today is not that day...