[tex-live] font sizes in the tlmgr GUI

[Reinhard Kotucha]

On 2016-05-16 at 18:07:25 +0900, Norbert Preining wrote:

 > > 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, you could check how it was done in texdoctk?

Regards,
  Reinhard

-- 
------------------------------------------------------------------
Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at web.de
------------------------------------------------------------------