Added flag to disable real-time PublishDiagnostics push

arduino / arduino-language-server

An Arduino Language Server based on Clangd to Arduino code autocompletion

GNU Affero General Public License v3.0

120 stars 11 forks source link

Closed cmaglie closed 2 years ago

cmaglie commented 2 years ago

Please check if the PR fulfills these requirements

[x] The PR has no duplicates (please search among the Pull Requests before creating one)
[x] The PR follows our contributing guidelines
[ ] Tests for the changes have been added (for bug fixes / features)

What kind of change does this PR introduce? Add a flag to disable real-time diagnostics -no-real-time-diagnostics.

kittaakos commented 2 years ago