[tex-live] font sizes in the tlmgr GUI

Norbert Preining norbert at preining.info
Mon May 16 11:07:25 CEST 2016


> Can one enlarge the fonts in the GUI?

Not by now. I will look into it whether I can find a simple way
around it till freeze time.

(Perl/Tk is not very good in that)

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