fix(server): fix reportUnnecessary (#78)

close #77
This commit is contained in:
Heyward Fann 2019-10-02 15:16:01 +08:00 committed by Qiming zhao
parent 4bd9cde9dc
commit eb88dbd0f2

View file

@ -331,7 +331,7 @@ export default class LanguageProvider {
this.client.diagnosticsManager.diagnosticsReceived(diagnosticsKind, file.toString(), diagnostics.filter(diag => {
if (!reportUnnecessary) {
diag.tags = undefined
if (diag.reportUnnecessary && diag.severity === DiagnosticSeverity.Hint) {
if (diag.reportUnnecessary && diag.severity === DiagnosticSeverity.Information) {
return false
}
}