Re: new *Help* argument highlighting

[Juanma Barranquero]

On 12 May 2004 18:25:37 +0900
Miles Bader <address@hidden> wrote:

> Prob with that kind of thing is that there's a very limited number of
> them, and the closer you get to running out, the weirder and more
> obscure they get...  :-)

Yeah, well, I was on the \+ARG+, \|ARG|, \¿ARG?, address@hidden&!!!! path when
your message arrived, and I saw instant light :)

> but personally I think @var is reasonable enough, and
> docstrings are much more often viewed in *Help*.

I *fully* agree.

                                                                Juanma