Add linting to codemirror-lsp-client (#3850)

2024-09-10 16:18:31 -04:00
parent 394872d84e
commit dd75f06f77
3 changed files with 5 additions and 3 deletions
--- a/packages/codemirror-lsp-client/src/plugin/lsp.ts
+++ b/packages/codemirror-lsp-client/src/plugin/lsp.ts
@ -532,7 +532,9 @@ export class LanguageServerPlugin implements PluginValue {
  processDiagnostics(params: PublishDiagnosticsParams) {
    if (params.uri !== this.getDocUri()) return

-    const diagnostics = params.diagnostics
+    // Commented to avoid the lint.  See TODO below.
+    // const diagnostics =
+    params.diagnostics
      .map(({ range, message, severity }) => ({
        from: posToOffset(this.view.state.doc, range.start)!,
        to: posToOffset(this.view.state.doc, range.end)!,