|
From: Ethan A M. <sf...@us...> - 2016-01-26 17:27:56
|
On Tuesday, 26 January, 2016 18:36:07 Jun T. wrote: > With the CVS HEAD (since the 'fix' of Bug#1713), I can't set > the font and font size simultaneously for wxt terminal. > The following sets the font but the font size is ignored: > > gnuplot>set term wxt font 'Times,20' > > In wxt.trm, line 183, > > if (s[sep] == ',') > > is not satisfied if sep>0, because s[sep] has been > already set to null at line 181. > > A possible simple patch is attached. Yes. Thank you for correcting my error in the earlier fix. Ethan |