microscopic fonts in TL guis
Jim.Diamond at acadiau.ca
Thu Apr 9 04:41:09 CEST 2020
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
> 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.
More information about the tex-live