Re: docs/gpcard.tex

[Hans-Bernhard B. <br...@ph...>]

On Thu, 29 Apr 2004, Petr Mikulik wrote:

> ... still contains these two lines:
> 
> \key{X11 default display device}                {set term x11}
> \key{X11 multicolor point default device}       {set term X11}
> 
> Does somebody know what the 2nd line means? There is no difference nowadays
> I guess. 

If you look very closely, there is a minor difference between the two,
although that's probably unintentional (i.e. a bug in the source, not
in the docs):

'x11' sets the TERM_INIT_ON_REPLOT flag, 'X11' doesn't.

> Should I remove it ... or write this instead:

Remove it.  While at it, I see little reason to keep the terminal driver
X11 itself at all.


-- 
Hans-Bernhard Broeker (br...@ph...)
Even if all the snow were burnt, ashes would remain.