2522 |
(make-local-variable 'Info-index-alternatives) |
(make-local-variable 'Info-index-alternatives) |
2523 |
(setq header-line-format |
(setq header-line-format |
2524 |
(if Info-use-header-line |
(if Info-use-header-line |
2525 |
'(:eval (get-text-property (point-min) 'header-line)) |
'(:eval |
2526 |
|
(replace-regexp-in-string |
2527 |
|
"%" "%%" |
2528 |
|
(get-text-property (point-min) 'header-line))) |
2529 |
nil)) ; so the header line isn't displayed |
nil)) ; so the header line isn't displayed |
2530 |
(set (make-local-variable 'tool-bar-map) info-tool-bar-map) |
(set (make-local-variable 'tool-bar-map) info-tool-bar-map) |
2531 |
;; This is for the sake of the invisible text we use handling titles. |
;; This is for the sake of the invisible text we use handling titles. |