[tex-live] font sizes in the tlmgr GUI

Norbert Preining norbert at preining.info
Mon May 16 14:52:47 CEST 2016


Hi Zdenek,

> $mw->CmdLine;

Good idea in principle, I need to look into how to get this work.
THe command line handling of tlmgr is rather complicated as you 
can imagine. I don't want to add/allow arbitrary command line
options.

But well, in he case the gui is requested, I will look into it.

Thanks for the hint.

PS: Do you know the equivalen in Perl/Tk?

All the best

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
------------------------------------------------------------------------


More information about the tex-live mailing list