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

[Martin Dupras]

Hi,

I just acquired a new laptop with a 4K (3840x2160) screen, and am
running Fedora Linux with PlanetCCRMA on it.

Everything works fine, pretty much, but everything in PD is just too
small. The menus are difficult to read. Objects are also so small that
it makes it difficult to hone in on the outlets of objects.

Is there some setting that can set at launch to make those things bigger?

Many thanks!

- martin