[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: new *Help* argument highlighting
From: |
Juri Linkov |
Subject: |
Re: new *Help* argument highlighting |
Date: |
Wed, 12 May 2004 00:51:25 +0300 |
User-agent: |
Gnus/5.110002 (No Gnus v0.2) Emacs/21.3.50 (gnu/linux) |
Miles Bader <address@hidden> writes:
>> This problem with bold faces in a mode line was solved recently
>> by using `Buffer-menu-buffer-face' instead of the hard-coded
>> `(:weight bold)'.
>
> 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. However, if new proposed faces for the
mode line (major-mode, minor-mode, vc) will be added then certainly
a special face for the buffer name should be added to the same set
of mode line faces as well.
--
Juri Linkov
http://www.jurta.org/emacs/
- Re: new *Help* argument highlighting, (continued)
- Re: new *Help* argument highlighting, Juanma Barranquero, 2004/05/10
- 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 <=
- 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