[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
David Kastrup |
Subject: |
Re: new *Help* argument highlighting |
Date: |
10 May 2004 23:28:54 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3.50 |
Juanma Barranquero <address@hidden> writes:
> 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.
His choice. How about an uppercase-face?
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- 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, 2004/05/10
- Re: new *Help* argument highlighting,
David Kastrup <=
- 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
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/12