Preserve whitespace in tree hover

Part of #112124
This commit is contained in:
Alex Ross 2020-12-09 10:25:02 +01:00
parent 59ba6494b9
commit b3c053d44b

View file

@ -83,6 +83,7 @@ export class HoverWidget extends Widget {
const contentsElement = $('div.hover-contents');
if (typeof options.text === 'string') {
contentsElement.textContent = options.text;
contentsElement.style.whiteSpace = 'pre-wrap';
} else {
const markdown = options.text;
const mdRenderer = this._instantiationService.createInstance(