microscopic fonts in TL guis
norbert at preining.info
Fri Apr 10 01:00:21 CEST 2020
> > 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.
On the other hand, it is Java ... so not completely unexpected :-(
> java version "1.8.0_152"
Yes, not default support for HiDPI.
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
More information about the tex-live