From 26c7018f95e622421c49ebc90f6f150676a9a4a0 Mon Sep 17 00:00:00 2001 From: aamunger Date: Mon, 20 Mar 2023 16:15:02 -0700 Subject: [PATCH] style the cursor in the child to avoid the scrollbar --- extensions/notebook-renderers/src/index.ts | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/extensions/notebook-renderers/src/index.ts b/extensions/notebook-renderers/src/index.ts index 48aaa0cda26..55db65d9035 100644 --- a/extensions/notebook-renderers/src/index.ts +++ b/extensions/notebook-renderers/src/index.ts @@ -157,7 +157,9 @@ function renderError( outputElement.classList.toggle('hide-refresh', !e.outputScrolling); })); outputElement.classList.toggle('remove-padding', outputScrolling); - outputElement.appendChild(content); + const contentParent = document.createElement('div'); + contentParent.appendChild(content); + outputElement.appendChild(contentParent); initializeScroll(content, disposableStore); } else { const header = document.createElement('div'); @@ -336,9 +338,11 @@ export const activate: ActivationFunction = (ctx) => { box-sizing: border-box; border-width: 1px; border-color: transparent; + } + #container div.output .scrollable div { cursor: text; } - #container div.output .scrollable a { + #container div.output .scrollable div a { cursor: pointer; } #container div.output .scrollable.more-above {