Merge pull request #45 from FRC2713/Fix-editor-save-button

Fix editor save button
FRC2713 · Oct 29, 2024 · ad3fe3c · ad3fe3c
2 parents f26d211 + 2f29a0b
commit ad3fe3c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/components/ConfigEditor.tsx b/src/components/ConfigEditor.tsx
@@ -37,7 +37,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)}
           />