mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-08 09:08:48 +01:00
wrap errors in parent div
This commit is contained in:
@@ -147,20 +147,21 @@ function renderError(
|
||||
|
||||
const outputScrolling = ctx.settings.outputScrolling;
|
||||
const content = createOutputContent(outputInfo.id, [err.stack ?? ''], ctx.settings.lineLimit, outputScrolling, true);
|
||||
content.classList.toggle('word-wrap', ctx.settings.outputWordWrap);
|
||||
const contentParent = document.createElement('div');
|
||||
contentParent.classList.toggle('word-wrap', ctx.settings.outputWordWrap);
|
||||
disposableStore.push(ctx.onDidChangeSettings(e => {
|
||||
content.classList.toggle('word-wrap', e.outputWordWrap);
|
||||
contentParent.classList.toggle('word-wrap', e.outputWordWrap);
|
||||
}));
|
||||
content.classList.toggle('scrollable', outputScrolling);
|
||||
contentParent.classList.toggle('scrollable', outputScrolling);
|
||||
outputElement.classList.toggle('hide-refresh', !outputScrolling);
|
||||
disposableStore.push(ctx.onDidChangeSettings(e => {
|
||||
outputElement.classList.toggle('hide-refresh', !e.outputScrolling);
|
||||
}));
|
||||
outputElement.classList.toggle('remove-padding', outputScrolling);
|
||||
const contentParent = document.createElement('div');
|
||||
|
||||
contentParent.appendChild(content);
|
||||
outputElement.appendChild(contentParent);
|
||||
initializeScroll(content, disposableStore);
|
||||
initializeScroll(contentParent, disposableStore);
|
||||
} else {
|
||||
const header = document.createElement('div');
|
||||
const headerMessage = err.name && err.message ? `${err.name}: ${err.message}` : err.name || err.message;
|
||||
|
||||
Reference in New Issue
Block a user