import { Input, Segmented, Space } from "antd"; import type { Dispatch } from "react"; import type { WorkbenchAction, WorkbenchState } from "../reducer"; export function ConfigPanel(props: { state: WorkbenchState; dispatch: Dispatch; }) { return ( props.dispatch({ type: "rename", name: event.target.value }) } /> props.dispatch({ type: "selectMode", mode: mode as WorkbenchState["selectedMode"], }) } /> ); }