changeset 52688:14464676b697

(Info-mode): Double each `%' in header line.
author Richard M. Stallman <rms@gnu.org>
date Tue, 30 Sep 2003 12:48:19 +0000
parents fb1ccaa34830
children 2b7d168d24b4
files lisp/info.el
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/info.el	Tue Sep 30 12:47:04 2003 +0000
+++ b/lisp/info.el	Tue Sep 30 12:48:19 2003 +0000
@@ -2522,7 +2522,10 @@
   (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.