[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.)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]