fix truncation bug causing duplicated selected token to appear on sub…

…sequent expansion
hazelgrove · Jan 3, 2025 · 2766613 · 2766613
1 parent 5f259bb
commit 2766613
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re
@@ -561,7 +561,7 @@ let try_truncate = (z: Zipper.t) => {
         };
         ctx
         |> Ctx.push(~onto=L, tok)
-        |> Ctx.push(~onto=R, tok)
+        |> (Token.is_complete(tok) ? Fun.id : Ctx.push(~onto=R, tok))
         |> Zipper.mk
         |> Option.some;
       | _ => None