prevent page from reloading (#494)

* remove dead imports * prevent the page from reloading
vilterp · Jun 23, 2024 · 99c563b · 99c563b
1 parent c410baf
commit 99c563b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/apps/actors/main.tsx b/apps/actors/main.tsx
@@ -12,8 +12,6 @@ import { useEffectfulReducer } from "../../uiCommon/generic/hooks";
 import { CollapsibleWithHeading } from "../../uiCommon/generic/collapsible";
 import { MultiClient } from "./ui/multiClient";
 import { lastItem } from "../../util/util";
-import { SequenceDiagram } from "../../uiCommon/visualizations/sequence";
-import { Term, Statement, rec, varr } from "../../core/types";
 
 const initialSystemsState = initialState(SYSTEMS);
 

diff --git a/apps/actors/ui/timeTravelSlider.tsx b/apps/actors/ui/timeTravelSlider.tsx
@@ -118,7 +118,12 @@ function ExploreForm(props: {
   const [steps, setSteps] = React.useState(DEFAULT_STEP_LIMIT);
 
   return (
-    <form onSubmit={() => props.onExplore(steps)}>
+    <form
+      onSubmit={(evt) => {
+        evt.preventDefault();
+        props.onExplore(steps);
+      }}
+    >
       <button type="submit" disabled={props.disabled}>
         Explore
       </button>{" "}