[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Use variable-pitch face in more places
From: |
Lars Ingebrigtsen |
Subject: |
Re: Use variable-pitch face in more places |
Date: |
Wed, 24 Nov 2021 17:52:51 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Juri Linkov <juri@linkov.net> writes:
> I tried really hard, but can't see variable-pitch on the header line 🤓
> And indeed, my suggestion to use add-face-text-property was wrong, sorry.
> The correct function name can be found in these commented out
> lines in Info-breadcrumbs:
Hm. When I do an "emacs -Q" and then `C-h i', I get the header line in
a proportional font (on the current trunk). Did you fix this already?
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- Re: Tick Reduction, (continued)
- Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Stefan Kangas, 2021/11/22
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/22
- Re: Use variable-pitch face in more places, Lars Ingebrigtsen, 2021/11/23
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/24
- Re: Use variable-pitch face in more places,
Lars Ingebrigtsen <=
- Re: Use variable-pitch face in more places, Juri Linkov, 2021/11/24
- Re: Tick Reduction, Eli Zaretskii, 2021/11/19
- Re: Tick Reduction, Stefan Kangas, 2021/11/19
- Re: Tick Reduction, Dmitry Gutov, 2021/11/19
RE: [External] : Tick Reduction, Drew Adams, 2021/11/18
Re: Tick Reduction, Lars Ingebrigtsen, 2021/11/19