small API extension, experiment with pin-command

This commit is contained in:
Johannes Rieken
2021-08-18 10:39:54 +02:00
parent 6d49535b2a
commit f801025e2b
6 changed files with 67 additions and 25 deletions

View File

@@ -87,6 +87,7 @@ export class ExtHostLanguages {
this._proxy.$setLanguageStatus(handle, {
source: extension.displayName ?? extension.name,
selector: data.selector,
text: data.text,
message: data.detail,
severity: data.severity === LanguageStatusSeverity.Error ? Severity.Error : data.severity === LanguageStatusSeverity.Warning ? Severity.Warning : Severity.Info
});
@@ -101,6 +102,13 @@ export class ExtHostLanguages {
data.selector = value;
updateAsync();
},
get text() {
return data.text;
},
set text(value) {
data.text = value;
updateAsync();
},
get detail() {
return data.detail;
},