[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: header-line and mode-line faces
From: |
Drew Adams |
Subject: |
RE: header-line and mode-line faces |
Date: |
Fri, 13 Jun 2008 15:08:02 -0700 |
> > I also think the default for face `mode-line' should not be
> > boxed (and therefore no reason for `header-line' to override
> > this), but that is a different issue. (I have the feeling
> > that the boxed mode line came into being just because boxing
> > became a new possibility.)
>
> I think the mode-line is boxed because many people like that
> appearance.
OK, not a biggee. The other point is more important.
(I assume you mean "most". If just "many", that's what customization is for.
Many people like dark backgrounds, but that isn't the default.)
- header-line and mode-line faces, Drew Adams, 2008/06/13
- Re: header-line and mode-line faces, Miles Bader, 2008/06/13
- RE: header-line and mode-line faces,
Drew Adams <=
- Re: header-line and mode-line faces, Eli Zaretskii, 2008/06/14
- Re: header-line and mode-line faces, Eli Zaretskii, 2008/06/14
- RE: header-line and mode-line faces, Drew Adams, 2008/06/14
- Re: header-line and mode-line faces, Stefan Monnier, 2008/06/14