[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: header-line and mode-line faces

From: Drew Adams
Subject: RE: header-line and mode-line faces
Date: Sat, 14 Jun 2008 11:23:04 -0700

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


I am suggesting that, by default, it share all of its attributes. That's all.

reply via email to

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