Merge pull request #47 from spahnke/mark-unnecessary

Adopt monaco.MarkerTag API
This commit is contained in:
Alexandru Dima 2019-12-17 08:56:49 +01:00 committed by GitHub
commit 92c4b95f7e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -201,7 +201,8 @@ export class DiagnosticsAdapter extends Adapter {
endLineNumber,
endColumn,
message: flattenDiagnosticMessageText(diag.messageText, '\n'),
code: diag.code.toString()
code: diag.code.toString(),
tags: diag.reportsUnnecessary ? [monaco.MarkerTag.Unnecessary] : []
};
}