microscopic fonts in TL guis

[Jim Diamond]

On Fri, Apr 10, 2020 at 08:00 (+0900), Norbert Preining wrote:

> CAUTION: This email comes from outside Acadia. Verify the sender and use caution with any requests, links or attachments.

> Hi Jim,

>>> That is strange... but not completely unexpected.

>> Funny how those two things can go together :-)

> It is strange because there were several reports that it worked, and jdk
> usually uses gtk, and there this should work.
> https://wiki.archlinux.org/index.php/HiDPI

> On the other hand, it is Java ... so not completely unexpected :-(

>> java version "1.8.0_152"

> Yes, not default support for HiDPI.

Well, there you go.  I over-graded to openjdk 14 and now the GUI comes
up at a reasonable size.  Thanks for the solution.  I didn't realize
my JDK was so out of date.  (I avoid Java like the plague, so ...)

Do you think it is worth putting this in the documentation for other
people running archaic versions of Java?

Cheers.

                                Jim