Re: x11.trm terminal options

[Petr M. <mi...@ph...>]

> >But a warning message would be OK.  At least in the above
> >case it echoes back the actual state that was set.  In your
> >earlier example "set term X11 3 'Times-Roman'" it failed to
> >echo back the state.  It is that failure that I consider a bug,
> >not the fact that it accepted the 3 but rejected the font.

I think X11 should be consistent with other terminals. So: any order of
options allowed; nothing drawn (and no window open) until (s)plot; it should
not do strange things with (mistakenly) duplicating options.

---
Petr Mikulik