vundo--highlight-overlay: add priority

casouri · Mar 22, 2023 · 18db1b0 · 18db1b0
1 parent 2caa4c4
commit 18db1b0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/vundo.el b/vundo.el
@@ -806,7 +806,8 @@ This function modifies `vundo--prev-mod-list',
     (overlay-put vundo--highlight-overlay
                  'display (vundo--translate "●"))
     (overlay-put vundo--highlight-overlay
-                 'face 'vundo-highlight))
+                 'face 'vundo-highlight)
+    (overlay-put vundo--highlight-overlay 'priority 1))
   (move-overlay vundo--highlight-overlay
                 (1- (vundo-m-point node))
                 (vundo-m-point node)))