Fixes #228: Publish Diagnostics for multiple sources

This commit is contained in:
Dirk Baeumer 2017-10-04 10:52:50 +02:00
parent 8e70a77462
commit b04dc06202

View file

@ -1736,7 +1736,7 @@ Diagnostics are "owned" by the server so it is the server's responsibility to cl
* if a language is single file only (for example HTML) then diagnostics are cleared by the server when the file is closed.
* if a language has a project system (for example C#) diagnostics are not cleared when a file closes. When a project is opened all diagnostics for all files are recomputed (or read from a cache).
When a file changes it is the server's responsibility to re-compute diagnostics and push them to the client. If the computed set is empty it has to push the empty array to clear former diagnostics.
When a file changes it is the server's responsibility to re-compute diagnostics and push them to the client. If the computed set is empty it has to push the empty array to clear former diagnostics. Newly pushed diagnostics always replace previous pushed diagnostics. There is not merging happening on the client side.
_Notification_:
* method: 'textDocument/publishDiagnostics'