diff --git a/crates/compiler/checkmate/www/src/App.tsx b/crates/compiler/checkmate/www/src/App.tsx
index 4b900a6140..ec4cbfe749 100644
--- a/crates/compiler/checkmate/www/src/App.tsx
+++ b/crates/compiler/checkmate/www/src/App.tsx
@@ -11,7 +11,7 @@ export default function App() {
});
return (
-
+
diff --git a/crates/compiler/checkmate/www/src/components/Ui.tsx b/crates/compiler/checkmate/www/src/components/Ui.tsx
index 547cea9083..2c288cf75f 100644
--- a/crates/compiler/checkmate/www/src/components/Ui.tsx
+++ b/crates/compiler/checkmate/www/src/components/Ui.tsx
@@ -2,30 +2,39 @@ import React from "react";
import { AllEvents, Event, UnificationMode } from "../schema";
import { Refine } from "../utils/refine";
import clsx from "clsx";
+import { Engine, EventIndex } from "../engine/engine";
+import { lastSubEvent } from "../engine/event_util";
+import { VariableEl } from "./Variable";
interface UiProps {
events: AllEvents;
}
export default function Ui({ events }: UiProps): JSX.Element {
+ const engine = new Engine(events);
+
return (
-
-
+
+
);
}
interface EventListProps {
+ engine: Engine;
events: Event[];
root?: boolean;
}
-function EventList({ events, root }: EventListProps): JSX.Element {
+const MT = "mt-2.5";
+const UNFOCUSED = "opacity-40";
+
+function EventList({ engine, events, root }: EventListProps): JSX.Element {
return (
-