[Emacs-diffs] Changes to emacs/lisp/info.el

[Richard M. Stallman]

Index: emacs/lisp/info.el
diff -c emacs/lisp/info.el:1.293 emacs/lisp/info.el:1.294
*** emacs/lisp/info.el:1.293    Mon Dec 31 15:25:09 2001
--- emacs/lisp/info.el  Fri Mar  8 04:39:16 2002
***************
*** 2603,2609 ****
              (if (string-equal tag "Node")
                  (put-text-property nbeg nend 'face 'info-header-node)
                (put-text-property nbeg nend 'face 'info-header-xref)
!               (put-text-property nbeg nend 'mouse-face 'highlight)
                (put-text-property tbeg nend
                                   'help-echo
                                   (concat "Go to node "
--- 2603,2609 ----
              (if (string-equal tag "Node")
                  (put-text-property nbeg nend 'face 'info-header-node)
                (put-text-property nbeg nend 'face 'info-header-xref)
!               (put-text-property tbeg nend 'mouse-face 'highlight)
                (put-text-property tbeg nend
                                   'help-echo
                                   (concat "Go to node "
***************
*** 2616,2623 ****
                                               ("Up" . Info-up))))))
                    (when fun
                      (let ((keymap (make-sparse-keymap)))
!                       (define-key keymap [header-line down-mouse-1] fun)
!                       (define-key keymap [header-line down-mouse-2] fun)
                        (put-text-property tbeg nend 'local-map keymap)))))
                (if (not Info-use-header-line)
                    ;; In case they switched Info-use-header-line off
--- 2616,2623 ----
                                               ("Up" . Info-up))))))
                    (when fun
                      (let ((keymap (make-sparse-keymap)))
!                       (define-key keymap [header-line mouse-1] fun)
!                       (define-key keymap [header-line mouse-2] fun)
                        (put-text-property tbeg nend 'local-map keymap)))))
                (if (not Info-use-header-line)
                    ;; In case they switched Info-use-header-line off