emacs-devel
[Top][All Lists]
Advanced

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

Re: Use variable-pitch face in more places


From: Juri Linkov
Subject: Re: Use variable-pitch face in more places
Date: Mon, 22 Nov 2021 20:40:49 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu)

>> Thanks, it looks much nicer with variable-pitch.  But the problem is that
>> before this change the links on the header line were highlighted as links
>> with blue color, but the patch overwrites all faces with variable-pitch face.
>> I guess the faces should be merged here, maybe with add-face-text-property?
>
> Thanks for noticing this.  Fixed patch attached, as well as a new screenshot.
>
> +            (add-face-text-property 0 (length header)
> +                                    'variable-pitch nil header)

Sorry, I don't know why add-face-text-property has no effect,
and doesn't add variable-pitch 🤔



reply via email to

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