Re: header-line and mode-line faces

[Miles Bader]

"Drew Adams" <address@hidden> writes:
>> So that it can share some of its attributes.  E.g. if you change the
>> font-family or the size of the mode-line it'll change the 
>> corresponding attribute of the header-line as well.
>
> I am suggesting that, by default, it share all of its attributes. That's all.

That's a bad idea; it's desirable that they be distinguishable.

-Miles

-- 
Year, n. A period of three hundred and sixty-five disappointments.