diff options
| -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: | |||
| 3512 | (make-local-variable 'Info-history) | 3512 | (make-local-variable 'Info-history) |
| 3513 | (make-local-variable 'Info-history-forward) | 3513 | (make-local-variable 'Info-history-forward) |
| 3514 | (make-local-variable 'Info-index-alternatives) | 3514 | (make-local-variable 'Info-index-alternatives) |
| 3515 | (setq header-line-format | 3515 | (if Info-use-header-line ; do not override global header lines |
| 3516 | (if Info-use-header-line | 3516 | (setq header-line-format |
| 3517 | '(:eval (get-text-property (point-min) 'header-line)) | 3517 | '(:eval (get-text-property (point-min) 'header-line)))) |
| 3518 | nil)) ; so the header line isn't displayed | ||
| 3519 | (set (make-local-variable 'tool-bar-map) info-tool-bar-map) | 3518 | (set (make-local-variable 'tool-bar-map) info-tool-bar-map) |
| 3520 | ;; This is for the sake of the invisible text we use handling titles. | 3519 | ;; This is for the sake of the invisible text we use handling titles. |
| 3521 | (make-local-variable 'line-move-ignore-invisible) | 3520 | (make-local-variable 'line-move-ignore-invisible) |