WIP use html element as hover element, needs status bar adoption, pin in noop

This commit is contained in:
Johannes Rieken
2021-08-19 17:12:39 +02:00
parent d6a31ab3b0
commit 222214eddf
5 changed files with 68 additions and 261 deletions

View File

@@ -87,8 +87,8 @@ export class ExtHostLanguages {
this._proxy.$setLanguageStatus(handle, {
source: extension.displayName ?? extension.name,
selector: data.selector,
text: data.text,
message: data.detail,
label: data.text,
detail: data.detail,
severity: data.severity === LanguageStatusSeverity.Error ? Severity.Error : data.severity === LanguageStatusSeverity.Warning ? Severity.Warning : Severity.Info
});
}, 0);