From bd6f853061827f478870abc2c60ede431f69f1d9 Mon Sep 17 00:00:00 2001 From: aamunger Date: Mon, 20 Mar 2023 16:38:57 -0700 Subject: [PATCH] wrap errors in parent div --- extensions/notebook-renderers/src/index.ts | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/extensions/notebook-renderers/src/index.ts b/extensions/notebook-renderers/src/index.ts index 55db65d9035..385f6d865d8 100644 --- a/extensions/notebook-renderers/src/index.ts +++ b/extensions/notebook-renderers/src/index.ts @@ -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;