Re: default & double terminal options

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

> As I remember, the need for an 'unset termoptions' or 'set termoptions 
> reset' command emerged some years ago for the first time. It came from the 
> octave community: how to reset terminal options to the default status 
> after a script has changed them on its own.

>> 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?

Sorry, I meant "unset termoptions".

---
PM