put open new editor link outside of scrollable div

This commit is contained in:
aamunger
2023-02-16 15:56:32 -08:00
parent c7a040ae70
commit a1665b75bf
2 changed files with 5 additions and 5 deletions

View File

@@ -270,7 +270,7 @@ export const activate: ActivationFunction<void> = (ctx) => {
.traceback.wordWrap span {
white-space: pre-wrap;
}
.output > .scrollable {
.output .scrollable {
overflow-y: scroll;
max-height: var(--notebook-cell-output-max-height);
border: var(--vscode-editorWidget-border);

View File

@@ -50,14 +50,14 @@ function truncatedArrayOfString(id: string, buffer: string[], linesLimit: number
}
function scrollableArrayOfString(id: string, buffer: string[], container: HTMLElement, trustHtml: boolean) {
container.classList.add('scrollable');
const scrollableDiv = document.createElement('div');
scrollableDiv.classList.add('scrollable');
if (buffer.length > 5000) {
container.appendChild(generateViewMoreElement(id, false));
}
const div = document.createElement('div');
container.appendChild(div);
div.appendChild(handleANSIOutput(buffer.slice(0, 5000).join('\n'), trustHtml));
container.appendChild(scrollableDiv);
scrollableDiv.appendChild(handleANSIOutput(buffer.slice(0, 5000).join('\n'), trustHtml));
}
export function insertOutput(id: string, outputs: string[], linesLimit: number, scrollable: boolean, container: HTMLElement, trustHtml: boolean) {