Open CSchoel opened 3 years ago
Currently, the server does not send the textDocument/publishDiagnostics command to the client if a command completed without errors. This is a problem, because it means that Diagnostics are not removed on the client side.
textDocument/publishDiagnostics
Currently, the server does not send the
textDocument/publishDiagnostics
command to the client if a command completed without errors. This is a problem, because it means that Diagnostics are not removed on the client side.