Re: new *Help* argument highlighting

[David Kastrup]

Richard Stallman <address@hidden> writes:

>     > but personally I think @var is reasonable enough, and
>     > docstrings are much more often viewed in *Help*.
> 
>     I *fully* agree.
> 
> Perhaps we should abbreviate it to @v{..} for this purpose.
> Saving even 2 characters will help the formatting of the
> doc strings.

Since doc strings should be formatted with something like 60
characters or so (I don't remember the exact size right now), it would
take at least 3 mentions of @var{} in a single line before the normal
terminal line width of 80 characters in the source code would get
exceeded.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum