[PD] Menu fonts much too small on 4k screen

[Miller Puckette]

I can't figure out how to make tk scaling do anything either.  If anyone
reading this has ever seen it have any effect at all I'd like to know what
the magic is.

Meanwhile I'm working on a "zoom" for patches that migth at least help out
for that part of things.

cheers
Miller

On Sun, Apr 17, 2016 at 07:07:59PM +0100, Martin Dupras wrote:
> I just tried and that seems to make no difference at all, unfortunately.
> 
> I'll keep digging. Thanks for your help, it was worth a try!
> 
> - martin
>