Re: default & double terminal options

[<br...@ph...>]

Petr Mikulik wrote:
> Shouldn't we provide a "dummy" command 'set termoptions' right now, with 
> a proper implementation for postscript only (if possible), and with 
> implementation for other terminals after 4.2?

What do you mean by "should we provide" it?  "set termoption" already 
exists as a command, and has done for about 2 years at last, now.