This reverts commit
1bed252ae9109493133a0cc3e9aad9e9a5ddde37.
Juri Linkov says:
This patch breaks Info fontification, please revert it.
Here is what I said in the message sent later with another patch at
https://debbugs.gnu.org/14645#14
Using the text property `face' instead of `font-lock-face'
might break something, so a better patch below removes
the text properties `face info-index-match' from the Info buffer
"mouse-2: go to this node")
'mouse-face 'highlight)))
(when (or not-fontified-p fontify-visited-p)
- (add-face-text-property
+ (put-text-property
(match-beginning 1) (match-end 1)
+ 'font-lock-face
;; Display visited menu items in a different face
(if (and Info-fontify-visited-nodes
(save-match-data
(caar hl))))
(setq res (car hl) hl nil)
(setq hl (cdr hl))))
- res)))
- 'info-xref-visited 'info-xref)
- 'append))
+ res))) 'info-xref-visited 'info-xref)))
(when (and not-fontified-p
(memq Info-hide-note-references '(t hide))
(not (Info-index-node)))