[Top][All Lists]

[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

reply via email to

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