[tex-live] font sizes in the tlmgr GUI
Zdenek Wagner
zdenek.wagner at gmail.com
Mon May 16 15:55:20 CEST 2016
You just have to ensure that they remain in @ARGV. CmdLine does not
complain if there are unknown options. And I forgot to write that these
options are inheritted in other windows, so if you create a dialogue
window, t will use the same font unless you set another font in the program.
Zdeněk Wagner
http://ttsm.icpf.cas.cz/team/wagner.shtml
http://icebearsoft.euweb.cz
2016-05-16 15:41 GMT+02:00 Norbert Preining <norbert at preining.info>:
> > this _is_ PerlTk.
>
> Sorry, too late in the night ... indeed, obviously ;-)
>
> I still need to tell tlmgr to pass these options on ...
>
> Norbert
>
> ------------------------------------------------------------------------
> PREINING, Norbert http://www.preining.info
> JAIST, Japan TeX Live & Debian Developer
> GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
> ------------------------------------------------------------------------
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://tug.org/pipermail/tex-live/attachments/20160516/2367331f/attachment.html>
More information about the tex-live
mailing list