microscopic fonts in TL guis

[Jim Diamond]

On Wed, Apr  8, 2020 at 16:20 (+0200), Zdenek Wagner wrote:

> 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.

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?

Cheers.

                                        Jim

>> 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