Info-mode: Do not remove an existing header line if `Info-use-header-line' is nil.

This commit is contained in:
David Reitter 2008-10-20 02:23:01 +00:00
parent 7eba727fd2
commit eb033d40ca

View file

@ -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)