microscopic fonts in TL guis
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:
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.
st 8. 4. 2020 v 16:15 odesílatel Jim Diamond via tex-live
<tex-live at tug.org> napsal:
> 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?
More information about the tex-live