space moves over grout, newline moves over newline

hazelgrove · Nov 12, 2024 · d875880 · d875880
1 parent da58dc6
commit d875880
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/core/editor/Modify.re b/src/core/editor/Modify.re
@@ -159,7 +159,11 @@ let finalize = (~mode=Mode.Navigating, ~fill=Cell.dirty, ctx: Ctx.t): Zipper.t =
 
 let try_move = (s: string, z: Zipper.t) =>
   switch (s, Ctx.face(~side=R, z.ctx)) {
-  | (" ", Node(tok)) when String.starts_with(~prefix=" ", tok.text) =>
+  | (" ", Node(tok))
+      when
+        String.starts_with(~prefix=" ", tok.text) || Mtrl.is_grout(tok.mtrl) =>
+    Move.perform(Step(H(R)), z)
+  | ("\n", Node(tok)) when String.starts_with(~prefix="\n", tok.text) =>
     Move.perform(Step(H(R)), z)
   | _ => None
   };