style the cursor in the child to avoid the scrollbar

This commit is contained in:
aamunger
2023-03-20 16:15:02 -07:00
parent 5ffcc76062
commit 26c7018f95
+6 -2
View File
@@ -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<void> = (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 {