diff --git a/src/lsp/server.ts b/src/lsp/server.ts index cc85ae4..4b149f8 100644 --- a/src/lsp/server.ts +++ b/src/lsp/server.ts @@ -64,6 +64,7 @@ documents.onDidClose((event) => { documentSettings.delete(event.document.uri) }) documents.onDidChangeContent((change) => { + if (!state.enabled) return provideDiagnostics(state, change.document) }) documents.listen(connection)