# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 992777076 0
# Node ID b1c18f0dd970178629332dc680ca12101f29de7b
# Parent  fecdcc18b0279d3ef02145cda30f5dbd30a2927a
(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.

diff -r fecdcc18b027 -r b1c18f0dd970 lisp/textmodes/page-ext.el
--- 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