From 8b1d39749fcf8dbc3be21889320f25712b73c5a7 Mon Sep 17 00:00:00 2001 From: Logan4413 Date: Tue, 29 Oct 2024 19:21:35 -0400 Subject: [PATCH] Fix editor save button --- src/components/ConfigEditor.tsx | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/components/ConfigEditor.tsx b/src/components/ConfigEditor.tsx index 8b09b86..796ba8f 100644 --- 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)} />