From 770db8e5127e0194206e688a3472f9366144602a Mon Sep 17 00:00:00 2001 From: aamunger Date: Mon, 6 Mar 2023 14:28:15 -0800 Subject: [PATCH] make error outputs scrollable with output scroll setting --- extensions/notebook-renderers/src/index.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extensions/notebook-renderers/src/index.ts b/extensions/notebook-renderers/src/index.ts index 9f0f601a36f7..e31d00ee406c 100644 --- a/extensions/notebook-renderers/src/index.ts +++ b/extensions/notebook-renderers/src/index.ts @@ -187,7 +187,7 @@ function renderError( stack.style.margin = '8px 0'; const element = document.createElement('span'); - insertOutput(outputInfo.id, [err.stack ?? ''], ctx.settings.lineLimit, false, element, true); + insertOutput(outputInfo.id, [err.stack ?? ''], ctx.settings.lineLimit, ctx.settings.outputScrolling, element, true); stack.appendChild(element); container.appendChild(stack); } else {