[tex-live] font sizes in the tlmgr GUI

[Siep Kroonenberg]

On Mon, May 16, 2016 at 03:55:20PM +0200, Zdenek Wagner wrote:
> 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.

Meanwhile, I posted on tex.stackexchange a solution on how to set a
default font for Perl/Tk with X resources, e.g.

*Font: -*-nimbus sans l-medium-r-normal-*-18-*-*-*-p-*-iso10646-1

-- 
Siep Kroonenberg