diff --git a/src/App/AST.css b/src/App/AST.css index 1617deb..d2e6f7f 100644 --- a/src/App/AST.css +++ b/src/App/AST.css @@ -117,6 +117,6 @@ ul { } .shadowBelow { - box-shadow: 0 -15px 15px 15px rgba(0, 0, 0, 0.4); + box-shadow: 0 -5px 5px 5px rgba(0, 0, 0, 0.4); z-index: 1; } diff --git a/src/App/App.tsx b/src/App/App.tsx index 5a5b7f9..b940e9c 100644 --- a/src/App/App.tsx +++ b/src/App/App.tsx @@ -200,7 +200,6 @@ export function App() { const nextConfig = handleInputEvent(simtime, event, ast, config as BigStep); // may throw let plantState = config.plantState; for (const o of nextConfig.outputEvents) { - console.log(o); plantState = plant.reduce(o, plantState); } console.log({plantState}); diff --git a/src/App/RTHistory.tsx b/src/App/RTHistory.tsx index 8110df2..90d8f74 100644 --- a/src/App/RTHistory.tsx +++ b/src/App/RTHistory.tsx @@ -30,7 +30,7 @@ export function RTHistory({trace, setTrace, ast, setTime}: RTHistoryProps) { const newStates = item.mode.difference(trace.trace[i-1]?.mode || new Set()); return