2578 |
;; Only fontify the node if it hasn't already been done. [We pass in |
;; Only fontify the node if it hasn't already been done. [We pass in |
2579 |
;; LIMIT arg to `next-property-change' because it seems to search past |
;; LIMIT arg to `next-property-change' because it seems to search past |
2580 |
;; (point-max).] |
;; (point-max).] |
2581 |
(unless (< (next-property-change (point-min) nil (point-max)) |
(unless (and (< (next-property-change (point-min) nil (point-max)) |
2582 |
(point-max)) |
(point-max)) |
2583 |
|
;; But do put the text properties if the local-map property |
2584 |
|
;; is inconsistent with Info-use-header-line's value. |
2585 |
|
(eq |
2586 |
|
(= (next-single-property-change |
2587 |
|
(point-min) 'local-map nil (point-max)) |
2588 |
|
(point-max)) |
2589 |
|
(null Info-use-header-line))) |
2590 |
(save-excursion |
(save-excursion |
2591 |
(let ((buffer-read-only nil) |
(let ((buffer-read-only nil) |
2592 |
(case-fold-search t)) |
(case-fold-search t)) |
2617 |
(let ((keymap (make-sparse-keymap))) |
(let ((keymap (make-sparse-keymap))) |
2618 |
(define-key keymap [header-line down-mouse-1] fun) |
(define-key keymap [header-line down-mouse-1] fun) |
2619 |
(define-key keymap [header-line down-mouse-2] fun) |
(define-key keymap [header-line down-mouse-2] fun) |
2620 |
(put-text-property tbeg nend 'local-map keymap)))) |
(put-text-property tbeg nend 'local-map keymap))))) |
2621 |
))))) |
(if (not Info-use-header-line) |
2622 |
|
;; In case they switched Info-use-header-line off |
2623 |
|
;; in the middle of an Info session, some text |
2624 |
|
;; properties may have been left lying around from |
2625 |
|
;; past visits of this node. Remove them. |
2626 |
|
(remove-text-properties tbeg nend '(local-map nil))) |
2627 |
|
)))) |
2628 |
(goto-char (point-min)) |
(goto-char (point-min)) |
2629 |
(while (re-search-forward "\n\\([^ \t\n].+\\)\n\\(\\*+\\|=+\\|-+\\|\\.+\\)$" |
(while (re-search-forward "\n\\([^ \t\n].+\\)\n\\(\\*+\\|=+\\|-+\\|\\.+\\)$" |
2630 |
nil t) |
nil t) |