Re: Variable pitch mode line

[Tassilo Horn]

Lars Ingebrigtsen <larsi@gnus.org> writes:

>> The header-line face inherits from mode-line,
>
> Yes.
>
>> so it's variable pitch right now, no?
>
> Not by default, no.  The `mode-line' face isn't variable-pitch, only
> the mode-line-active and mode-line-inactive faces are.

Oh, I haven't known the new `mode-line-active' face yet.  After your
announcement I decided to customize my (themed) mode-line with
variable-pitch fonts but used mode-line and mode-line-inactive and so
also got a variable-pitch header-line.

Bye,
Tassilo