diff options
| author | Richard M. Stallman | 2003-09-30 12:48:19 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 2003-09-30 12:48:19 +0000 |
| commit | 605f14946c65b8fe7d2659692295dae139dc8958 (patch) | |
| tree | 3e3ed8699f048378a9310a57a1e1f7f8f54323c2 | |
| parent | 9e1b128cd06ba6bd3d9c9dbefa88f35d2003d056 (diff) | |
| download | emacs-605f14946c65b8fe7d2659692295dae139dc8958.tar.gz emacs-605f14946c65b8fe7d2659692295dae139dc8958.zip | |
(Info-mode): Double each `%' in header line.
| -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: | |||
| 2522 | (make-local-variable 'Info-index-alternatives) | 2522 | (make-local-variable 'Info-index-alternatives) |
| 2523 | (setq header-line-format | 2523 | (setq header-line-format |
| 2524 | (if Info-use-header-line | 2524 | (if Info-use-header-line |
| 2525 | '(:eval (get-text-property (point-min) 'header-line)) | 2525 | '(:eval |
| 2526 | (replace-regexp-in-string | ||
| 2527 | "%" "%%" | ||
| 2528 | (get-text-property (point-min) 'header-line))) | ||
| 2526 | nil)) ; so the header line isn't displayed | 2529 | nil)) ; so the header line isn't displayed |
| 2527 | (set (make-local-variable 'tool-bar-map) info-tool-bar-map) | 2530 | (set (make-local-variable 'tool-bar-map) info-tool-bar-map) |
| 2528 | ;; This is for the sake of the invisible text we use handling titles. | 2531 | ;; This is for the sake of the invisible text we use handling titles. |