changeset 38082:b1c18f0dd970

(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 17 Jun 2001 11:24:36 +0000
parents fecdcc18b027
children 745b05b3e5ed
files lisp/textmodes/page-ext.el
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/textmodes/page-ext.el	Sun Jun 17 11:23:58 2001 +0000
+++ b/lisp/textmodes/page-ext.el	Sun Jun 17 11:24:36 2001 +0000
@@ -680,8 +680,9 @@
         ;; 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