comparison lisp/textmodes/page-ext.el @ 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 dca526aca149
children b174db545cfd
comparison
equal deleted inserted replaced
38081:fecdcc18b027 38082:b1c18f0dd970
678 ;; record page position 678 ;; record page position
679 (setq pages-pos-list (cons position pages-pos-list)) 679 (setq pages-pos-list (cons position pages-pos-list))
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
688 (save-excursion 689 (save-excursion
689 (beginning-of-line) 690 (beginning-of-line)