import { Dispatch, useEffect, useState } from "react"; import { TraceableError } from "../../statecharts/parser"; import "./BottomPanel.css"; import { PersistentDetailsLocalStorage } from "../Components/PersistentDetails"; import { Logo } from "@/App/Logo/Logo"; import { AppState } from "../App"; import { VisualEditorState } from "../VisualEditor/VisualEditor"; import { Setters } from "../makePartialSetter"; import gitRev from "@/git-rev.txt"; export function BottomPanel(props: {errors: TraceableError[], setEditorState: Dispatch<(state: VisualEditorState) => VisualEditorState>} & AppState & Setters) { const [greeting, setGreeting] = useState(
setGreeting(<>)}> Welcome to
); useEffect(() => { setTimeout(() => { setGreeting(<>); }, 2000); }, []); return
{greeting} {/* {props.showFindReplace &&
props.setShowFindReplace(false)}/>
} */}
{props.errors.length} errors
{props.errors.map(({message, shapeUid})=>
{shapeUid}: {message}
)}
switch to  {location.host === "localhost:3000" ? production : development }  mode  |  Rev: {gitRev.slice(0,8)}
; }