[Top][All Lists]

[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: Wed, 24 Nov 2021 11:12:13 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu)

>> Thanks for noticing this.  Fixed patch attached, as well as a new screenshot.
> I think that looks really nice.

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:

    ;; (font-lock-append-text-property 0 (length line)
    ;;                              'font-lock-face 'header-line line)

Only then the header-line shows variable-pitch on the header line:

diff --git a/lisp/info.el b/lisp/info.el
index cd4c867f4e..43be21c570 100644
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -4822,6 +4822,8 @@ Info-fontify-node
                         (concat "No next, prev or up links  --  "
                                 (buffer-substring (point) header-end))
                       (buffer-substring (point) header-end)))))
+            (font-lock-append-text-property
+             0 (length header) 'font-lock-face 'variable-pitch header)
             (put-text-property (point-min) (1+ (point-min))

reply via email to

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