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

[Miller Puckette]

Hmm.. doesn't look like what I would have expected :)

On Mon, Apr 18, 2016 at 12:00:10AM +0000, Jonathan Wilkes via Pd-list wrote:
> Here's what I get on ubuntu 14.04 lts.
>  
>