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/emacs-lisp/lisp-mnt.el | |
parent | fdf7349b1c4b0d599208761af948bd1d6f2434fd (diff) | |
download | emacs-13f7e07e7c386753f64691bcf12e43d3325131f1.tar.gz emacs-13f7e07e7c386753f64691bcf12e43d3325131f1.tar.bz2 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).
Diffstat (limited to 'lisp/emacs-lisp/lisp-mnt.el')
0 files changed, 0 insertions, 0 deletions