Re: Use variable-pitch face in more places

[Stefan Kangas]

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.

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

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