[messages] [Module General Discussion] Any fix for the tiny font issue?

zgrose zgrose at me.com
Mon Mar 4 21:35:48 CET 2019

I've had luck with High DPI support in Java with the most recent OpenJDK
but you may encounter other, module-specific, issues.

Read this topic online here:

More information about the messages mailing list