microscopic fonts in TL guis

Jim Diamond Jim.Diamond at acadiau.ca
Thu Apr 23 15:44:02 CEST 2020


On Thu, Apr 23, 2020 at 12:46 (+0200), Siep Kroonenberg wrote:

> On Wed, Apr 08, 2020 at 11:31:36AM -0300, Jim Diamond via tex-live wrote:
>> 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?

> As I wrote to the tex-live list, font size in tlshell is now
> scalable via the options menu.

> Additionally: I just found out that Tcl/Tk responds to the value of
> Xft.dpi in ~/.Xresources, at least on myi ubuntu 18.04 system, which
> has only a window manager (fvwm), and no desktop.

Siep,

thanks for that info.  (More info for the docs?  Or maybe everyone
should be setting Xft.dpi by now?)

                                Jim


More information about the tex-live mailing list.