Fix editor save button

FRC2713 · Oct 29, 2024 · 8b1d397 · 8b1d397
1 parent f21e17c
commit 8b1d397
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/components/ConfigEditor.tsx b/src/components/ConfigEditor.tsx
@@ -38,7 +38,8 @@ export function ConfigEditor(props: ConfigEditorProps) {
             defaultValue={JSON.stringify(config, null, 2)}
             theme="vs-dark"
             onValidate={markers => {
-              setErrorCount(markers.length);
+              const severeErrors = markers.filter(m => m.severity > 4);
+              setErrorCount(severeErrors.length);
             }}
             onChange={value => value && setCurrentConfigText(value)}
           />