microscopic fonts in TL guis
Zdenek Wagner
zdenek.wagner at gmail.com
Wed Apr 8 16:20:17 CEST 2020
Hi,
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
http://ttsm.icpf.cas.cz/team/wagner.shtml
http://icebearsoft.euweb.cz
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.