small style tweaks

pull/2748/head
Alex Dima 5 years ago
parent 926a1051b8
commit bd037a9faf
No known key found for this signature in database
GPG Key ID: 6E58D7B045760DA0

@ -331,8 +331,12 @@ export class DiagnosticsAdapter extends Adapter {
} = model.getPositionAt(diagStart + diagLength); } = model.getPositionAt(diagStart + diagLength);
const tags: MarkerTag[] = []; const tags: MarkerTag[] = [];
if (diag.reportsUnnecessary) tags.push(MarkerTag.Unnecessary); if (diag.reportsUnnecessary) {
if (diag.reportsDeprecated) tags.push(MarkerTag.Deprecated); tags.push(MarkerTag.Unnecessary);
}
if (diag.reportsDeprecated) {
tags.push(MarkerTag.Deprecated);
}
return { return {
severity: this._tsDiagnosticCategoryToMarkerSeverity(diag.category), severity: this._tsDiagnosticCategoryToMarkerSeverity(diag.category),
@ -461,8 +465,9 @@ export class SuggestAdapter
} }
const tags: languages.CompletionItemTag[] = []; const tags: languages.CompletionItemTag[] = [];
if (entry.kindModifiers?.indexOf('deprecated') !== -1) if (entry.kindModifiers?.indexOf('deprecated') !== -1) {
tags.push(languages.CompletionItemTag.Deprecated); tags.push(languages.CompletionItemTag.Deprecated);
}
return { return {
uri: resource, uri: resource,

Loading…
Cancel
Save