From 8fad2a2aa11a810d37260c763035fd22d9c55c56 Mon Sep 17 00:00:00 2001
From: "Amy J. Ko" <ajko@uw.edu>
Date: Sat, 10 Feb 2024 13:14:26 -0800
Subject: [PATCH] More stable caret placement during elision toggle.

---
 src/edit/Caret.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/edit/Caret.ts b/src/edit/Caret.ts
index 2ce8a796a..b9afaa4b2 100644
--- a/src/edit/Caret.ts
+++ b/src/edit/Caret.ts
@@ -1565,7 +1565,7 @@ export default class Caret {
                                     space.replaceAll(ELISION_SYMBOL, '') +
                                     code.substring(start, code.getLength()),
                             ),
-                            this.withPosition(this.position),
+                            this.withPosition(this.position - 1),
                         ];
                     else return undefined;
                 }