Re: new *Help* argument highlighting

[Miles Bader]

Juanma Barranquero <address@hidden> writes:
> > Why not use the texinfo convention, @var{name} ?
>
> I was thinking of something similar to substitute-command-keys markers,
> i.e., "\<>", "\{}" and "\[]"

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...  :-)

It's a little tricky, since docstrings also serve as documentation in
the source file they occur in, so you don't want notation that's _too_
verbose, but personally I think @var is reasonable enough, and
docstrings are much more often viewed in *Help*.

-Miles
-- 
o The existentialist, not having a pillow, goes everywhere with the book by
  Sullivan, _I am going to spit on your graves_.