feat(fitch): make from number removable and increased count for deriv…

…ed rules
Kaeldehta · Nov 20, 2022 · 0aff333 · 0aff333
1 parent 51d02c8
commit 0aff333
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/components/fitch/FitchProofFromSelect.tsx b/src/components/fitch/FitchProofFromSelect.tsx
@@ -26,7 +26,7 @@ const FitchProofFromSelect = (props: FitchProofFromSelectProps) => {
       class="w-20"
       onChange={onChange}
     >
-      <option hidden value={-1} />
+      <option value={-1} />
       <Index each={options()}>
         {(_, index) => <option value={index}>{index + 1}</option>}
       </Index>

diff --git a/src/rules/fitch.ts b/src/rules/fitch.ts
@@ -74,7 +74,7 @@ const propRulesOptions: Record<
   },
   dr: {
     label: "DR",
-    count: 2,
+    count: 3,
   },
   abs: {
     label: "Abs.",