tail box close on soft reset

src/ui/React/LogBoxManager.tsx

@@ -19,6 +19,7 @@ import { Theme } from "@mui/material";
 let layerCounter = 0;
 
 export const LogBoxEvents = new EventEmitter<[RunningScript]>();
+export const LogBoxClearEvents = new EventEmitter<[]>();
 
 interface Log {
   id: string;
@@ -46,6 +47,13 @@ export function LogBoxManager(): React.ReactElement {
     [],
   );
 
+  useEffect(() =>
+    LogBoxClearEvents.subscribe(() => {
+      logs = [];
+      rerender();
+    }),
+  );
+
   function close(id: string): void {
     logs = logs.filter((l) => l.id !== id);
     rerender();