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).

diff --git a/lisp/cedet/pulse.el b/lisp/cedet/pulse.el
index 7aaca833cacb159a3222d4e8cf34ca45246a7191..ac3fb25e55940c762ad12dfa80e4500c42e7597c 100644 (file)
--- 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