Re: new *Help* argument highlighting

[Juanma Barranquero]

On Mon, 17 May 2004 10:16:49 +0900 (JST)
Kenichi Handa <address@hidden> wrote:

> I think so.   If we surround $NAME with `', we should not
> treat it as an argument.

I think that's a consequence, not a feature, or what you're proposing.
If we had argument-name markers, I'd like for them to be honored
everywhere they appear.

                                                                Juanma