fix Ctx.push_zigg bug causing selection to get stuck

hazelgrove · Sep 1, 2024 · fd628a4 · fd628a4
1 parent ee0ca13
commit fd628a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/core/editor/Ctx.re b/src/core/editor/Ctx.re
@@ -141,7 +141,7 @@ let push_zigg = (~onto as d: Dir.t, zigg: Zigg.t, ~fill=Cell.empty, ctx: t) => {
   // need to propagate given fill if push_slope did not incorporate
   let fill = Stds.Lists.is_empty(s_d) ? fill : Cell.empty;
   let ctx = push_wald(~onto=d, top, ~fill, ctx);
-  let rest = Dir.order(d, ([], s_b));
+  let rest = Dir.order(d, (s_b, []));
   map_hd(Frame.Open.cat(rest), ctx);
 };