diff --git a/src/components/IconButton.tsx b/src/components/IconButton.tsx index e7f7d44..4dab8e9 100644 --- a/src/components/IconButton.tsx +++ b/src/components/IconButton.tsx @@ -1,5 +1,7 @@ -const IconButton = (props: any) => { - return ; +import { JSX } from "solid-js"; + +const IconButton = (props: JSX.ButtonHTMLAttributes) => { + return ; }; export default IconButton diff --git a/src/components/fitch/FitchProof.tsx b/src/components/fitch/FitchProof.tsx index 5d3e1c3..a5bc43a 100644 --- a/src/components/fitch/FitchProof.tsx +++ b/src/components/fitch/FitchProof.tsx @@ -12,10 +12,10 @@ const FitchProof = () => { return <> set([{ type: "prem", indentation: 0, formula: "" }])} type="button">Add}> - {(line, i) => <> + {(line, i) =>
- +
}
diff --git a/src/components/fitch/FitchProofLine.tsx b/src/components/fitch/FitchProofLine.tsx index 11668e7..82eeccc 100644 --- a/src/components/fitch/FitchProofLine.tsx +++ b/src/components/fitch/FitchProofLine.tsx @@ -49,7 +49,7 @@ const FitchProofLine = (props: FitchProofLineProps) => { } - return
+ return
{props.index + 1}
{props.line.type !== "abs" ? set(props.index, { formula })} /> : {"\u22A5"}} @@ -61,7 +61,7 @@ const FitchProofLine = (props: FitchProofLineProps) => { set(props.index, "from" as any, 1, from)} /> } - +
} diff --git a/src/components/fitch/Inserter.tsx b/src/components/fitch/Inserter.tsx index 99b8a42..f8a0a58 100644 --- a/src/components/fitch/Inserter.tsx +++ b/src/components/fitch/Inserter.tsx @@ -35,12 +35,12 @@ const Inserter = (props: InserterProps) => { {(_, indentationOffset) => { const newIndentation = props.indentation - indentationOffset; - return
+ return
{() => } -
+
insert(props.index + 1, { type: "ass", indentation: newIndentation + 1, formula: "" })}> insert(props.index + 1, { type: "rule", indentation: newIndentation, formula: "", rule: "" as any, from: [] })}>