-
Juri Linkov authored
Set 4-th argument of `move-overlay' to `current-buffer' to move overlay to different source buffers. Use new variable `next-error-highlight'.
2beb6aa0
Set 4-th argument of `move-overlay' to `current-buffer' to move overlay to different source buffers. Use new variable `next-error-highlight'.