diff options
| author | Eli Zaretskii | 2001-06-17 11:24:36 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2001-06-17 11:24:36 +0000 |
| commit | dc44c48c48dc25cc1dff3b2c6e1923208ed9c86e (patch) | |
| tree | cb1b81bc76d6953e6e31f75be81c41d114064454 | |
| parent | a28eaf2c9b61be1a7d73b9e4a763c39716ffeee9 (diff) | |
| download | emacs-dc44c48c48dc25cc1dff3b2c6e1923208ed9c86e.tar.gz emacs-dc44c48c48dc25cc1dff3b2c6e1923208ed9c86e.zip | |
(pages-copy-header-and-position): Add help-echo to mouse-highlighted text.
| -rw-r--r-- | lisp/textmodes/page-ext.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lisp/textmodes/page-ext.el b/lisp/textmodes/page-ext.el index 461d71d06d9..c5f50fe2840 100644 --- a/lisp/textmodes/page-ext.el +++ b/lisp/textmodes/page-ext.el | |||
| @@ -680,8 +680,9 @@ Used by `pages-directory' function." | |||
| 680 | ;; insert page header | 680 | ;; insert page header |
| 681 | (setq inserted-at (point)) | 681 | (setq inserted-at (point)) |
| 682 | (insert-buffer-substring target-buffer start end) | 682 | (insert-buffer-substring target-buffer start end) |
| 683 | (put-text-property inserted-at (point) | 683 | (add-text-properties inserted-at (point) |
| 684 | 'mouse-face 'highlight) | 684 | '(mouse-face highlight |
| 685 | help-echo "mouse-2: go to this page")) | ||
| 685 | (put-text-property inserted-at (point) 'rear-nonsticky 'highlight)) | 686 | (put-text-property inserted-at (point) 'rear-nonsticky 'highlight)) |
| 686 | 687 | ||
| 687 | (if count-lines-p | 688 | (if count-lines-p |