Re: header-line and mode-line faces

[Miles Bader]

"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.

-Miles

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