diff options
author | Lars Ingebrigtsen <larsi@gnus.org> | 2019-10-09 10:41:27 +0200 |
---|---|---|
committer | Lars Ingebrigtsen <larsi@gnus.org> | 2019-10-09 10:41:27 +0200 |
commit | 13f7e07e7c386753f64691bcf12e43d3325131f1 (patch) | |
tree | 469ce6579607e918c5fdf2fbe019aad1ada37deb /lisp/cedet/pulse.el | |
parent | fdf7349b1c4b0d599208761af948bd1d6f2434fd (diff) | |
download | emacs-13f7e07e7c386753f64691bcf12e43d3325131f1.tar.gz |
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).
Diffstat (limited to 'lisp/cedet/pulse.el')
-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." ;; We don't support simultaneous highlightings. (pulse-momentary-unhighlight) (overlay-put o 'original-face (overlay-get o 'face)) + ;; Make this overlay take priority over the `transient-mark-mode' + ;; overlay. + (overlay-put o 'priority 1) (setq pulse-momentary-overlay o) (if (eq pulse-flag 'never) nil |