1125 |
(let* ((out-line |
(let* ((out-line |
1126 |
(concat |
(concat |
1127 |
;; Using 7 digits aligns tabs properly. |
;; Using 7 digits aligns tabs properly. |
1128 |
(apply #'propertize (format "%7d" lines) |
(apply #'propertize (format "%7d:" lines) |
1129 |
(append |
(append |
1130 |
(when prefix-face |
(when prefix-face |
1131 |
`(font-lock-face prefix-face)) |
`(font-lock-face prefix-face)) |
1132 |
`(occur-prefix t mouse-face highlight |
`(occur-prefix t mouse-face (highlight) |
1133 |
occur-target ,marker follow-link t |
occur-target ,marker follow-link t |
1134 |
help-echo "mouse-2: go to this occurrence"))) |
help-echo "mouse-2: go to this occurrence"))) |
|
":" |
|
1135 |
;; We don't put `mouse-face' on the newline, |
;; We don't put `mouse-face' on the newline, |
1136 |
;; because that loses. And don't put it |
;; because that loses. And don't put it |
1137 |
;; on context lines to reduce flicker. |
;; on context lines to reduce flicker. |
1138 |
(propertize curstring 'mouse-face 'highlight |
(propertize curstring 'mouse-face (list 'highlight) |
1139 |
'occur-target marker |
'occur-target marker |
1140 |
'follow-link t |
'follow-link t |
1141 |
'help-echo |
'help-echo |