diff options
| author | Lars Ingebrigtsen | 2019-10-09 10:41:27 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2019-10-09 10:41:27 +0200 |
| commit | 13f7e07e7c386753f64691bcf12e43d3325131f1 (patch) | |
| tree | 469ce6579607e918c5fdf2fbe019aad1ada37deb | |
| parent | fdf7349b1c4b0d599208761af948bd1d6f2434fd (diff) | |
| download | emacs-13f7e07e7c386753f64691bcf12e43d3325131f1.tar.gz emacs-13f7e07e7c386753f64691bcf12e43d3325131f1.zip | |
Ensure that the pulse overlay is visible
* lisp/cedet/pulse.el (pulse-momentary-highlight-overlay): Make
the pulse overlay have priority over the marked-region overlay
(bug#29173).
| -rw-r--r-- | lisp/cedet/pulse.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lisp/cedet/pulse.el b/lisp/cedet/pulse.el index 7aaca833cac..ac3fb25e559 100644 --- a/lisp/cedet/pulse.el +++ b/lisp/cedet/pulse.el | |||
| @@ -179,6 +179,9 @@ Optional argument FACE specifies the face to do the highlighting." | |||
| 179 | ;; We don't support simultaneous highlightings. | 179 | ;; We don't support simultaneous highlightings. |
| 180 | (pulse-momentary-unhighlight) | 180 | (pulse-momentary-unhighlight) |
| 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' | ||
| 183 | ;; overlay. | ||
| 184 | (overlay-put o 'priority 1) | ||
| 182 | (setq pulse-momentary-overlay o) | 185 | (setq pulse-momentary-overlay o) |
| 183 | (if (eq pulse-flag 'never) | 186 | (if (eq pulse-flag 'never) |
| 184 | nil | 187 | nil |