|
From:
<br...@ph...> - 2006-04-18 17:58:35
|
Ethan A Merritt wrote: > On Sunday 16 April 2006 12:21 pm, Petr Mikulik wrote: > >> BTW, "set term pop" for those things will fail if your "set term push"ed >> terminal is postscript, for example. > > I was under the impression that 'set term push/pop' was a stack, > but I see that I was wrong. No. It is a stack. But it has a limitless bottom. I.e. 'set term pop' on an empty stack yields the default terminal, simply because the terminal cannot be set to "NULL". > Should it rather be "DEFAULT_TERMINAL" or something like that? And before we go ahead adding such intruders into the udv namespace, I think we should set a reserved prefix immediately. So far, we've only had FIT_* names reserved for extensions to fit (and no string vars among those). |