# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 992777112 0
# Node ID 745b05b3e5ed72fbf9b24026beb04fea924f0523
# Parent  b1c18f0dd970178629332dc680ca12101f29de7b
(tex-validate-buffer): Add help-echo to mouse-highlighted text.

diff -r b1c18f0dd970 -r 745b05b3e5ed lisp/textmodes/tex-mode.el
--- a/lisp/textmodes/tex-mode.el	Sun Jun 17 11:24:36 2001 +0000
+++ b/lisp/textmodes/tex-mode.el	Sun Jun 17 11:25:12 2001 +0000
@@ -999,8 +999,10 @@
 		      (forward-char (- start end))
 		      (setq text-beg (point-marker))
 		      (insert (format "%3d: " linenum))
-		      (put-text-property text-beg (- text-end 1)
-					 'mouse-face 'highlight)
+		      (add-text-properties
+		       text-beg (- text-end 1)
+		       '(mouse-face highlight
+			 help-echo "mouse-2: go to this invalidity"))
 		      (put-text-property text-beg (- text-end 1)
 					 'occur tem)))))
 	    (goto-char prev-end))))