Re: default & double terminal options

[Ethan M. <merritt@u.washington.edu>]

On Thursday 24 August 2006 11:38 am, 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?
>
> Sorry, I meant "unset termoptions".

I have no idea what "unset termoptions" is supposed to mean.
Could you please explain?

Right now, "set termoptions" simply passes the rest of the
command line to term->options().   

But I cannot see a parallel mechanism for "unset termoptions".
There is no such thing as term->unset_options(), and in general
you cannot just negate options anyhow.  You cannot, for example,
say either  "set term <foo> nofont 'Times'"
    or      "unset term <foo> font 'Times'"

It seems to me that Mojca had the right idea:
If all terminals allowed "set term <foo> default", then it would
be possible to allow "set termoption default".  In fact, it would
happen automatically as soon as you added "default" to the legal
options list.


-- 
Ethan A Merritt
Biomolecular Structure Center
University of Washington, Seattle WA