microscopic fonts in TL guis
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.
thanks for that info. (More info for the docs? Or maybe everyone
should be setting Xft.dpi by now?)
More information about the tex-live