microscopic fonts in TL guis

[Norbert Preining]

Hi Jim,

On Wed, 08 Apr 2020, TeX Live Mailing List wrote:
> This solution doesn't work for tlshell or tlcockpit.  Norbert and
> Siep: any similar option(s) there?  If so, what do you think about adding
> them to the texdoc info?

tlcockpit relies on JavaFX, and that is unfortunately a messy thing.
See https://github.com/TeX-Live/tlcockpit/issues/3

It should be fixed automatically in newer JDK (which Java are you
using?)

You can fix it *probably* by doing
	GDK_SCALE=2 tlcockpit

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