microscopic fonts in TL guis

[Norbert Preining]

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.

Best

Norbert

--
PREINING Norbert                              https://www.preining.info
Accelia Inc. + IFMGA ProGuide + TU Wien + JAIST + TeX Live + Debian Dev
GPG: 0x860CDC13   fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13