From: Richard M. Stallman <rms@gnu.org>
Date: Tue, 30 Sep 2003 12:48:19 +0000 (+0000)
Subject: (Info-mode): Double each `%' in header line.
X-Git-Tag: ttn-vms-21-2-B4~8682
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=605f14946c65b8fe7d2659692295dae139dc8958;p=emacs.git

(Info-mode): Double each `%' in header line.
---

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.