mirror of
https://github.com/ckaczor/azuredatastudio.git
synced 2026-01-20 01:25:37 -05:00
52 lines
2.0 KiB
TypeScript
52 lines
2.0 KiB
TypeScript
/*---------------------------------------------------------------------------------------------
|
|
* Copyright (c) Microsoft Corporation. All rights reserved.
|
|
* Licensed under the Source EULA. See License.txt in the project root for license information.
|
|
*--------------------------------------------------------------------------------------------*/
|
|
|
|
import { handleANSIOutput } from './ansi';
|
|
|
|
function generateViewMoreElement(outputId: string) {
|
|
const container = document.createElement('span');
|
|
const first = document.createElement('span');
|
|
first.textContent = 'Output exceeds the ';
|
|
const second = document.createElement('a');
|
|
second.textContent = 'size limit';
|
|
second.href = `command:workbench.action.openSettings?["notebook.output.textLineLimit"]`;
|
|
const third = document.createElement('span');
|
|
third.textContent = '. Open the full output data';
|
|
const forth = document.createElement('a');
|
|
forth.textContent = ' in a text editor';
|
|
forth.href = `command:workbench.action.openLargeOutput?${outputId}`;
|
|
container.appendChild(first);
|
|
container.appendChild(second);
|
|
container.appendChild(third);
|
|
container.appendChild(forth);
|
|
return container;
|
|
}
|
|
|
|
export function truncatedArrayOfString(id: string, outputs: string[], linesLimit: number, container: HTMLElement) {
|
|
let buffer = outputs.join('\n').split(/\r|\n|\r\n/g);
|
|
let lineCount = buffer.length;
|
|
|
|
if (lineCount < linesLimit) {
|
|
const spanElement = handleANSIOutput(buffer.slice(0, linesLimit).join('\n'));
|
|
container.appendChild(spanElement);
|
|
return;
|
|
}
|
|
|
|
container.appendChild(generateViewMoreElement(id));
|
|
|
|
const div = document.createElement('div');
|
|
container.appendChild(div);
|
|
div.appendChild(handleANSIOutput(buffer.slice(0, linesLimit - 5).join('\n')));
|
|
|
|
// view more ...
|
|
const viewMoreSpan = document.createElement('span');
|
|
viewMoreSpan.innerText = '...';
|
|
container.appendChild(viewMoreSpan);
|
|
|
|
const div2 = document.createElement('div');
|
|
container.appendChild(div2);
|
|
div2.appendChild(handleANSIOutput(buffer.slice(lineCount - 5).join('\n')));
|
|
}
|