# HG changeset patch
# User David Reitter <david.reitter@gmail.com>
# Date 1224469381 0
# Node ID 60fa4a4ddd561960d6d5ac06be3995cc4b98b169
# Parent  e99979838a3ad3f84a81e6f017ecf88a1d03ef6b
Info-mode: Do not remove an existing header line if `Info-use-header-line' is nil.

diff -r e99979838a3a -r 60fa4a4ddd56 lisp/info.el
--- a/lisp/info.el	Mon Oct 20 02:17:47 2008 +0000
+++ b/lisp/info.el	Mon Oct 20 02:23:01 2008 +0000
@@ -3512,10 +3512,9 @@
   (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)