microscopic fonts in TL guis
Jim.Diamond at acadiau.ca
Wed Apr 8 16:31:36 CEST 2020
On Wed, Apr 8, 2020 at 16:20 (+0200), Zdenek Wagner wrote:
> 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.
Thanks Zdenek, that does the trick with tlmgr. And *now* I see that
option on page 28 of the tlmgr doc (mea culpa).
I had looked at "texdoc tlshell" and "texdoc tlcockpit" and neither
give any enlightenment about fonts. Obviously I gave up too quickly.
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?
>> 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