Re: default & double terminal options

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

>> The most safe way would be to write a single script for each input
>> (which is what is done now), but that influences efficiency
>>
>> the user selects PNG terminal and wants the first figure to be
>> transparent and the second one to use "default" values (whatever they
>> are, notransparent in that case).

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?

---
PM