projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3c2d18) | patch
Have pulse.el preserve existing overlay priorities
authorJoão Távora <joaotavora@gmail.com>
Fri, 28 Feb 2020 13:30:48 +0000 (13:30 +0000)
committerJoão Távora <joaotavora@gmail.com>
Wed, 4 Mar 2020 22:33:49 +0000 (22:33 +0000)
commitcb1e30910ea7972ea82e28545782c75496d7b6d3
tree989ab3abf40f431576d134845556139197be39d3tree | snapshot
parenta3c2d186eb514b505e61c2a89a1df886dbfcb06bcommit | diff
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.
lisp/cedet/pulse.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.