microscopic fonts in TL guis

[Jim Diamond]

Hi Norbert,

On Thu, Apr  9, 2020 at 05:32 (+0900), Norbert Preining wrote:

> 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

Thanks for the suggestion.  However, as it turns out, I already have
GDK_SCALE=2 in my environment.

Cheers.
                                Jim