RE: header-line and mode-line faces

[Drew Adams]

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