microscopic fonts in TL guis

Siep Kroonenberg siepo at bitmuis.nl
Tue Apr 21 13:58:28 CEST 2020

On Wed, Apr 08, 2020 at 04:59:10PM +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:
> > 
> > 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?
> tlshell defines all its fonts with respect to whatever tcl/tk
> considers the default. But after the release I'll see whether I can
> make it configurable.

Both the tcl gui installer and tlshell can now resize fonts on the
fly. In addition, gui language can now also be changed on the fly.

In tlshell this can be found in the options menu, in the installer
in the new gui menu.

>From tlmgr version 54766 on, the font size setting of tlshell is saved.

Siep Kroonenberg

More information about the tex-live mailing list.