"set term wxt font" still has a problem

[Jun T. <tak...@kb...>]

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.