don't send diagnostics if intellisense is disabled (#133)
parent
6731af2688
commit
3f07842da3
|
@ -64,6 +64,7 @@ documents.onDidClose((event) => {
|
||||||
documentSettings.delete(event.document.uri)
|
documentSettings.delete(event.document.uri)
|
||||||
})
|
})
|
||||||
documents.onDidChangeContent((change) => {
|
documents.onDidChangeContent((change) => {
|
||||||
|
if (!state.enabled) return
|
||||||
provideDiagnostics(state, change.document)
|
provideDiagnostics(state, change.document)
|
||||||
})
|
})
|
||||||
documents.listen(connection)
|
documents.listen(connection)
|
||||||
|
|
Loading…
Reference in New Issue