[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: Sun, 15 Jun 2008 03:36:18 +0900

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


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

reply via email to

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