diff options
author | David Reitter <david.reitter@gmail.com> | 2008-10-20 02:23:01 +0000 |
---|---|---|
committer | David Reitter <david.reitter@gmail.com> | 2008-10-20 02:23:01 +0000 |
commit | 11ce172181c11786cfeab24d4243b934ba974ad5 (patch) | |
tree | d8d7a35040b7b9e0a893b6e24d85cd0bca0f20cf /lisp/info.el | |
parent | 0fb81c2eb4f9e0a73a6cec78a629549aa88a73d3 (diff) | |
download | emacs-11ce172181c11786cfeab24d4243b934ba974ad5.tar.gz |
Info-mode: Do not remove an existing header line if `Info-use-header-line' is nil.
Diffstat (limited to 'lisp/info.el')
-rw-r--r-- | lisp/info.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lisp/info.el b/lisp/info.el index 1d8460ee6aa..78e3f2ef70c 100644 --- a/lisp/info.el +++ b/lisp/info.el @@ -3512,10 +3512,9 @@ Advanced commands: (make-local-variable 'Info-history) (make-local-variable 'Info-history-forward) (make-local-variable 'Info-index-alternatives) - (setq header-line-format - (if Info-use-header-line - '(:eval (get-text-property (point-min) 'header-line)) - nil)) ; so the header line isn't displayed + (if Info-use-header-line ; do not override global header lines + (setq header-line-format + '(:eval (get-text-property (point-min) 'header-line)))) (set (make-local-variable 'tool-bar-map) info-tool-bar-map) ;; This is for the sake of the invisible text we use handling titles. (make-local-variable 'line-move-ignore-invisible) |