viz: enter key only expands steps (#10792)

It shouldn't be changing any step or context state. Those are handled explicitly by the arrow keys (or clicking).
2025-06-12 16:00:14 +03:00
parent 822e2dcb20
commit c066baea65
1 changed files with 1 additions and 1 deletions
@@ -456,7 +456,7 @@ document.addEventListener("keydown", async function(event) {
    if (currentCtx === -1) {
      return setState({ currentCtx:0, expandSteps:true });
    }
-    return setState({ currentStep:0, currentRewrite:0, expandSteps:!expandSteps });
+    return setState({ expandSteps:!expandSteps });
  }
  // left and right go through rewrites in a single UOp
  if (event.key == "ArrowLeft") {