[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Miles Bader |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Tue, 11 May 2004 18:58:57 -0400 |
User-agent: |
Mutt/1.3.28i |
On Wed, May 12, 2004 at 12:51:25AM +0300, Juri Linkov wrote:
> > Which, BTW, is a silly thing to use for the mode-line -- there should be a
> > more generic face that's in turn :inherited by Buffer-menu-buffer-face (or
> > just change the buffer-menu code to use the third face directly, and add a
> > face alias to be backward compatible).
>
> I don't think new faces should be introduced if there are existing
> faces for similar purposes.
The point is not that the faces should be separate, but that the existing
face name doesn't make sense for the extended use.
-Miles
--
`...the Soviet Union was sliding in to an economic collapse so comprehensive
that in the end its factories produced not goods but bads: finished products
less valuable than the raw materials they were made from.' [The Economist]
- Re: new *Help* argument highlighting, (continued)
- Re: new *Help* argument highlighting, Robert J. Chassell, 2004/05/10
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/10
- Re: new *Help* argument highlighting, Juri Linkov, 2004/05/10
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/10
- Re: new *Help* argument highlighting, Juri Linkov, 2004/05/11
- Re: new *Help* argument highlighting, Stefan Monnier, 2004/05/11
- 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 <=
- 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, 2004/05/10