[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
|
From: |
Lars Ingebrigtsen |
|
Subject: |
Re: Variable pitch mode line |
|
Date: |
Wed, 22 Dec 2021 21:42:56 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Tassilo Horn <tsdh@gnu.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.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Variable pitch mode line, Lars Ingebrigtsen, 2021/12/22
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/22
- Re: Variable pitch mode line, Stefan Kangas, 2021/12/22
- Re: Variable pitch mode line, Juri Linkov, 2021/12/22
- Re: Variable pitch mode line, Tassilo Horn, 2021/12/22
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Stefan Kangas, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Lars Ingebrigtsen, 2021/12/23