mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-30 04:10:54 -08:00
(occur): Add help-echo to mouse-highlighted text.
This commit is contained in:
parent
06d7490042
commit
2ddf19dfe0
1 changed files with 4 additions and 3 deletions
|
|
@ -749,9 +749,10 @@ the matching is case-sensitive."
|
|||
;; Add text properties. The `occur' prop is used to
|
||||
;; store the marker of the matching text in the
|
||||
;; source buffer.
|
||||
(put-text-property (marker-position text-beg)
|
||||
(- (marker-position text-end) 1)
|
||||
'mouse-face 'highlight)
|
||||
(add-text-properties
|
||||
(marker-position text-beg) (- (marker-position text-end) 1)
|
||||
'(mouse-face highlight
|
||||
help-echo "mouse-2: go to this occurence"))
|
||||
(put-text-property (marker-position text-beg)
|
||||
(marker-position text-end)
|
||||
'occur occur-marker)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue