diff options
| author | João Távora | 2020-02-28 13:30:48 +0000 |
|---|---|---|
| committer | João Távora | 2020-03-04 22:33:49 +0000 |
| commit | cb1e30910ea7972ea82e28545782c75496d7b6d3 (patch) | |
| tree | 989ab3abf40f431576d134845556139197be39d3 /src | |
| parent | a3c2d186eb514b505e61c2a89a1df886dbfcb06b (diff) | |
| download | emacs-cb1e30910ea7972ea82e28545782c75496d7b6d3.tar.gz emacs-cb1e30910ea7972ea82e28545782c75496d7b6d3.zip | |
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions