With the introduction of the new Problems panel, we started to work on support for project wide builders and linters. As a first step, we eliminated the automatic clearing of problems when an document is closed. Otherwise opening and closing a document would change the problem set generated by a project wide builder. Due to this change, extensions like linters generating diagnostics are responsible for clearing them when a document is closed. All extension providers generating diagnostics need to adopt to this change.
In a linter that uses the vscode-language-server node module, this can be achieved as follows:
In VS Code version 1.3.0 was added
onDidClose
event (see https://code.visualstudio.com/updates/June_2016). Please, provide support for this feature.