[Top][All Lists]

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

Re: Use variable-pitch face in more places

From: Stefan Kangas
Subject: Re: Use variable-pitch face in more places
Date: Mon, 22 Nov 2021 19:10:50 +0100

Juri Linkov <juri@linkov.net> writes:

> 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.

Attachment: 0001-Use-variable-pitch-in-Info-header-line-and-breadcrum.patch
Description: Source code patch

Attachment: variable-pitch-info-2.png
Description: PNG image

reply via email to

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