remove ansi colors from linter messages

tsnobip · tsnobip · commit d4006b98b052 · 2025-11-24T09:28:30.000+01:00
diff --git a/src/components/CodeMirror.res b/src/components/CodeMirror.res
@@ -572,7 +572,7 @@ let createLinterExtension = (errors: array<Error.t>): CM6.extension => {
             | #Error => Error
             | #Warning => Warning
             },
-            message: err.text,
+            message: err.text->Ansi.parse->Ansi.Printer.plainString,
           }
 
           Array.push(diagnostics, diagnostic)

Original file line number	Diff line number	Diff line change
`@@ -572,7 +572,7 @@ let createLinterExtension = (errors: array<Error.t>): CM6.extension => {`
`572`	`572`	`\| #Error => Error`
`573`	`573`	`\| #Warning => Warning`
`574`	`574`	`},`
`575`		`- message: err.text,`
	`575`	`+ message: err.text->Ansi.parse->Ansi.Printer.plainString,`
`576`	`576`	`}`
`577`	`577`
`578`	`578`	`Array.push(diagnostics, diagnostic)`