[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.
-Miles
--
Year, n. A period of three hundred and sixty-five disappointments.
- header-line and mode-line faces, Drew Adams, 2008/06/13
- Re: header-line and mode-line faces, Miles Bader, 2008/06/13
- Re: header-line and mode-line faces, Eli Zaretskii, 2008/06/14
- Re: header-line and mode-line faces, Eli Zaretskii, 2008/06/14
- RE: header-line and mode-line faces, Drew Adams, 2008/06/14
- Re: header-line and mode-line faces, Stefan Monnier, 2008/06/14