[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: |
Tue, 11 May 2004 00:10:55 +0200 |
On 10 May 2004 23:57:38 +0200, David Kastrup <address@hidden> wrote:
> To
> be expanded into "Wouldn't it be nice if we had an uppercase-face?"
> rather than "why don't you use an uppercase-face?".
Ah, OK :)
So we still have a problem with using lowercase italics as arg
highlighting.
/L/e/k/t/u
- Re: new *Help* argument highlighting, (continued)
- 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, 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 <=
- 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
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Miles Bader, 2004/05/12
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/12
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/13
- Re: new *Help* argument highlighting, David Kastrup, 2004/05/13
- Re: new *Help* argument highlighting, Richard Stallman, 2004/05/13