microscopic fonts in TL guis

Zdenek Wagner zdenek.wagner at gmail.com
Wed Apr 8 16:20:17 CEST 2020


my experience with SW written in ParlTk is that it (at least on my
computers) often starts with such tiny fonts. I am not an expert but
it helps if I use this command-line option:

-font 'Helvetica,24'

I tried different numbers and 24 looks well on my computer, you shoud
experiment with it. And this is not related to tlmgr --gui, this was
an experiment with a PerlTk program written by me. Maybe someone comes
with a better method.

Zdeněk Wagner

st 8. 4. 2020 v 16:15 odesílatel Jim Diamond via tex-live
<tex-live at tug.org> napsal:
> Hi,
> I normally (i.e., since forever) use the terminal interface to tlmgr,
> but all this gooey talk got me a bit intrigued.
> I have tried tlcockpit, tlmgr --gui and tlshell and I get GUIs with
> fonts whose capital letters are about 4 (TeX) points high.  While I
> appreciate efficient use of space as much as the next guy (maybe even
> more), without hacking the code is there any way to get any GUI at a
> larger size?
> I am using a 4K monitor with about 163 dpi; do all the GUIs assume
> there are 96 pixels to the inch, or make some similar error?
> Cheers.
>                                 Jim

More information about the tex-live mailing list.