[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: header-line and mode-line faces
From: |
Stefan Monnier |
Subject: |
Re: header-line and mode-line faces |
Date: |
Sat, 14 Jun 2008 15:02:38 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.0.60 (gnu/linux) |
>> > They are different faces, and you can also customize them
>> > separately. But header-line inherits from mode-line *today*. Why?
>>
>> 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.
> Exactly.
> I am suggesting that, by default, it share all of its attributes. That's all.
Yes, we got your point. We just don't agree.
Stefan
- 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