fix #126

hazelgrove · Feb 18, 2025 · 0e6e056 · 0e6e056
1 parent 9f05093
commit 0e6e056
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re
@@ -464,7 +464,9 @@ let meld_remold =
           && !Label.is_instant(lbl)
           && Oblig.Delta.(not_hole(of_effects(Effects.log^)))
           // this is necessary when deleting delims to empty ghosts
-          && !Token.is_empty(tok) =>
+          && !Token.is_empty(tok)
+          // only delay expansion for tokens followed by caret (#126)
+          && Option.(is_some(tok.marks) || is_some(next.marks.cursor)) =>
       None
     | _ => Some(remolded)
     };