]> git.eshelyaron.com Git - emacs.git/commitdiff
(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.
authorEli Zaretskii <eliz@gnu.org>
Sun, 17 Jun 2001 11:24:36 +0000 (11:24 +0000)
committerEli Zaretskii <eliz@gnu.org>
Sun, 17 Jun 2001 11:24:36 +0000 (11:24 +0000)
lisp/textmodes/page-ext.el

index 461d71d06d9b92208f83eb6f1a9ddeb5f3fdf973..c5f50fe28407de5f65cfd46eef434ec78f5dedb2 100644 (file)
@@ -680,8 +680,9 @@ Used by `pages-directory' function."
         ;; insert page header
        (setq inserted-at (point))
        (insert-buffer-substring target-buffer start end)
-       (put-text-property inserted-at (point) 
-                          'mouse-face 'highlight)
+       (add-text-properties inserted-at (point) 
+                            '(mouse-face highlight
+                              help-echo "mouse-2: go to this page"))
        (put-text-property inserted-at (point) 'rear-nonsticky 'highlight))
       
       (if count-lines-p