diff options
Diffstat (limited to 'lisp')
| -rw-r--r-- | lisp/info.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lisp/info.el b/lisp/info.el index 800ee86cbed..28869c4f469 100644 --- a/lisp/info.el +++ b/lisp/info.el @@ -2522,7 +2522,10 @@ Advanced commands: (make-local-variable 'Info-index-alternatives) (setq header-line-format (if Info-use-header-line - '(:eval (get-text-property (point-min) 'header-line)) + '(:eval + (replace-regexp-in-string + "%" "%%" + (get-text-property (point-min) 'header-line))) nil)) ; so the header line isn't displayed (set (make-local-variable 'tool-bar-map) info-tool-bar-map) ;; This is for the sake of the invisible text we use handling titles. |