[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Juanma Barranquero |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Mon, 10 May 2004 23:10:54 +0200 |
On Mon, 10 May 2004 13:54:11 -0400, Richard Stallman <address@hidden> 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
- Re: new *Help* argument highlighting, (continued)
- Re: new *Help* argument highlighting, Robert J. Chassell, 2004/05/11
- Re: new *Help* argument highlighting, Juri Linkov, 2004/05/11
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/11
- Re: new *Help* argument highlighting, Juri Linkov, 2004/05/11
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/11
- Re: new *Help* argument highlighting, Robert J. Chassell, 2004/05/11
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/10
- Re: new *Help* argument highlighting,
Juanma Barranquero <=
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/10
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/11
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/12