[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: header-line and mode-line faces

From: Miles Bader
Subject: Re: header-line and mode-line faces
Date: Sat, 14 Jun 2008 06:58:04 +0900

"Drew Adams" <address@hidden> writes:
> 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.


Erudition, n. Dust shaken out of a book into an empty skull.

reply via email to

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