Re: new *Help* argument highlighting

[Juanma Barranquero <lektu@mi.madritel.es>]

On Mon, 10 May 2004 13:54:11 -0400, Richard Stallman <rms@gnu.org> wrote:

> Yes, it would be good to downcase them in the Help buffer
> as well as italicizing them.

That's a one-line patch, and the effect is nice, and scarcely intrusive.
However, it has the problem that if someone customizes
help-argument-face to the default face, he's lost also the uppercase, so
now arguments do not stand out at all.

To solve that, we'd have do something like:

(defvar help-arg-highlighting-function
  #'(lambda (arg) (propertize (downcase arg) 'face '(:slant italic)))
  "Function to call to highlight argument names in `describe-function' *Help* buffers.")

instead of having a help-argument-name face.

                                                           /L/e/k/t/u