[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: facemenu-unlisted-faces
From: |
Miles Bader |
Subject: |
Re: facemenu-unlisted-faces |
Date: |
Fri, 14 Jul 2006 03:03:36 +0900 |
"Drew Adams" <address@hidden> writes:
> And, partly for precisely the issue you raise, it is, in general, not a good
> idea to have faces (e.g. `bold', `fixed-pitch') whose names claim a certain
> appearance. Face names like `dired-flagged' communicate what the face is
> for, they don't communicate how it looks; they are in the Emphasis camp, not
> the Bold camp.
"bold", so far as I know, exists mainly for historical reasons.
Faces like "fixed-pitch" exist because they offer a useful abstraction
(some places really need a fixed-pitch face, to display a table or
whatever), and consolidate a common bit of user-specific configuration
data (_which_ fixed-pitch face to use) into a single face (many other
places may indeed also define their own face, and inherit from
`fixed-pitch').
-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: facemenu-unlisted-faces, (continued)
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/09
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/09
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/09
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/09
- Re: facemenu-unlisted-faces, Sascha Wilde, 2006/07/13
- Re: facemenu-unlisted-faces, tomas, 2006/07/13
- Re: facemenu-unlisted-faces, Robert J. Chassell, 2006/07/13
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/13
- Re: facemenu-unlisted-faces,
Miles Bader <=
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/13
- Re: facemenu-unlisted-faces, Miles Bader, 2006/07/13
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/14
- Re: facemenu-unlisted-faces, Miles Bader, 2006/07/19
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/16
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/16
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/17
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/05
- RE: facemenu-unlisted-faces, Drew Adams, 2006/07/05
- Re: facemenu-unlisted-faces, Richard Stallman, 2006/07/09