diff options
| author | João Távora | 2020-02-28 13:30:48 +0000 |
|---|---|---|
| committer | João Távora | 2020-03-04 22:33:49 +0000 |
| commit | cb1e30910ea7972ea82e28545782c75496d7b6d3 (patch) | |
| tree | 989ab3abf40f431576d134845556139197be39d3 | |
| parent | a3c2d186eb514b505e61c2a89a1df886dbfcb06b (diff) | |
| download | emacs-cb1e30910ea7972ea82e28545782c75496d7b6d3.tar.gz emacs-cb1e30910ea7972ea82e28545782c75496d7b6d3.zip | |
Have pulse.el preserve existing overlay priorities
Fixes: bug#39821
* lisp/cedet/pulse.el (pulse-momentary-highlight-overlay): Save
overlay priority.
(pulse-momentary-unhighlight): Restore.
| -rw-r--r-- | lisp/cedet/pulse.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lisp/cedet/pulse.el b/lisp/cedet/pulse.el index 5713a7b0d1f..16243e16b45 100644 --- a/lisp/cedet/pulse.el +++ b/lisp/cedet/pulse.el | |||
| @@ -181,6 +181,7 @@ Optional argument FACE specifies the face to do the highlighting." | |||
| 181 | (overlay-put o 'original-face (overlay-get o 'face)) | 181 | (overlay-put o 'original-face (overlay-get o 'face)) |
| 182 | ;; Make this overlay take priority over the `transient-mark-mode' | 182 | ;; Make this overlay take priority over the `transient-mark-mode' |
| 183 | ;; overlay. | 183 | ;; overlay. |
| 184 | (overlay-put o 'original-priority (overlay-get o 'priority)) | ||
| 184 | (overlay-put o 'priority 1) | 185 | (overlay-put o 'priority 1) |
| 185 | (setq pulse-momentary-overlay o) | 186 | (setq pulse-momentary-overlay o) |
| 186 | (if (eq pulse-flag 'never) | 187 | (if (eq pulse-flag 'never) |
| @@ -214,6 +215,7 @@ Optional argument FACE specifies the face to do the highlighting." | |||
| 214 | (let ((ol pulse-momentary-overlay)) | 215 | (let ((ol pulse-momentary-overlay)) |
| 215 | (overlay-put ol 'face (overlay-get ol 'original-face)) | 216 | (overlay-put ol 'face (overlay-get ol 'original-face)) |
| 216 | (overlay-put ol 'original-face nil) | 217 | (overlay-put ol 'original-face nil) |
| 218 | (overlay-put ol 'priority (overlay-get ol 'original-priority)) | ||
| 217 | ;; Clear the overlay if it needs deleting. | 219 | ;; Clear the overlay if it needs deleting. |
| 218 | (when (overlay-get ol 'pulse-delete) (delete-overlay ol))) | 220 | (when (overlay-get ol 'pulse-delete) (delete-overlay ol))) |
| 219 | 221 | ||