diff options
| author | Eli Zaretskii | 2001-06-17 11:25:12 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2001-06-17 11:25:12 +0000 |
| commit | a865de85dabe98dce5e45396f0dd0612cff9d3c9 (patch) | |
| tree | b43d6fcb3d6e5e320874c2520acfe2263c5b3c4f | |
| parent | dc44c48c48dc25cc1dff3b2c6e1923208ed9c86e (diff) | |
| download | emacs-a865de85dabe98dce5e45396f0dd0612cff9d3c9.tar.gz emacs-a865de85dabe98dce5e45396f0dd0612cff9d3c9.zip | |
(tex-validate-buffer): Add help-echo to mouse-highlighted text.
| -rw-r--r-- | lisp/textmodes/tex-mode.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el index ef5004fffd5..e74f64ef23b 100644 --- a/lisp/textmodes/tex-mode.el +++ b/lisp/textmodes/tex-mode.el | |||
| @@ -999,8 +999,10 @@ on the line for the invalidity you want to see." | |||
| 999 | (forward-char (- start end)) | 999 | (forward-char (- start end)) |
| 1000 | (setq text-beg (point-marker)) | 1000 | (setq text-beg (point-marker)) |
| 1001 | (insert (format "%3d: " linenum)) | 1001 | (insert (format "%3d: " linenum)) |
| 1002 | (put-text-property text-beg (- text-end 1) | 1002 | (add-text-properties |
| 1003 | 'mouse-face 'highlight) | 1003 | text-beg (- text-end 1) |
| 1004 | '(mouse-face highlight | ||
| 1005 | help-echo "mouse-2: go to this invalidity")) | ||
| 1004 | (put-text-property text-beg (- text-end 1) | 1006 | (put-text-property text-beg (- text-end 1) |
| 1005 | 'occur tem))))) | 1007 | 'occur tem))))) |
| 1006 | (goto-char prev-end)))) | 1008 | (goto-char prev-end)))) |