diff options
| author | Richard M. Stallman <rms@gnu.org> | 2003-09-30 12:48:19 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 2003-09-30 12:48:19 +0000 |
| commit | 605f14946c65b8fe7d2659692295dae139dc8958 (patch) | |
| tree | 3e3ed8699f048378a9310a57a1e1f7f8f54323c2 /lisp | |
| parent | 9e1b128cd06ba6bd3d9c9dbefa88f35d2003d056 (diff) | |
| download | emacs-605f14946c65b8fe7d2659692295dae139dc8958.tar.gz | |
(Info-mode): Double each `%' in header line.
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. |