microscopic fonts in TL guis

Zdenek Wagner zdenek.wagner at gmail.com
Wed Apr 8 17:26:10 CEST 2020


st 8. 4. 2020 v 16:59 odesílatel Siep Kroonenberg <siepo at bitmuis.nl> napsal:
>
> 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:
> >
> > > 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?
>
> 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.
>
I have not looked into tlshell but what I gave in my previous answer
is a Tk option. In PerlTk you have to do the following:

our $mw = new MainWindow( ... );
$mw->CmdLine;

The CmdLine is the magic which gets Tk related options from the
command line. Maybe the default font size can be set somewhere but I
did not manage.

> --
> Siep Kroonenberg


Zdeněk Wagner
http://ttsm.icpf.cas.cz/team/wagner.shtml
http://icebearsoft.euweb.cz



More information about the tex-live mailing list.