2603 |
(if (string-equal tag "Node") |
(if (string-equal tag "Node") |
2604 |
(put-text-property nbeg nend 'face 'info-header-node) |
(put-text-property nbeg nend 'face 'info-header-node) |
2605 |
(put-text-property nbeg nend 'face 'info-header-xref) |
(put-text-property nbeg nend 'face 'info-header-xref) |
2606 |
(put-text-property nbeg nend 'mouse-face 'highlight) |
(put-text-property tbeg nend 'mouse-face 'highlight) |
2607 |
(put-text-property tbeg nend |
(put-text-property tbeg nend |
2608 |
'help-echo |
'help-echo |
2609 |
(concat "Go to node " |
(concat "Go to node " |
2616 |
("Up" . Info-up)))))) |
("Up" . Info-up)))))) |
2617 |
(when fun |
(when fun |
2618 |
(let ((keymap (make-sparse-keymap))) |
(let ((keymap (make-sparse-keymap))) |
2619 |
(define-key keymap [header-line down-mouse-1] fun) |
(define-key keymap [header-line mouse-1] fun) |
2620 |
(define-key keymap [header-line down-mouse-2] fun) |
(define-key keymap [header-line mouse-2] fun) |
2621 |
(put-text-property tbeg nend 'local-map keymap))))) |
(put-text-property tbeg nend 'local-map keymap))))) |
2622 |
(if (not Info-use-header-line) |
(if (not Info-use-header-line) |
2623 |
;; In case they switched Info-use-header-line off |
;; In case they switched Info-use-header-line off |