832
*/
833
createOutputTerminal(uri: string, options: { title: string; claim: TerminalClaim }): void {
835
throw new Error(`Terminal already exists: ${uri}`);
836
}
838
>
title: options.title,
839
>
content: [],
840
>
contentSize: 0,
841
>
claim: options.claim,
842
>
});
843
>
}
844
845
/** Append plain-text data to an output-only terminal and stream it to subscribers. */
846
appendOutputTerminalData(uri: string, data: string): void {
848
>
if (!terminal || data.length === 0) {
849
return;
850
}
852
>
this._trimContent(terminal);
853
>
this._stateManager.dispatchServerAction(uri, {
854
>
type: ActionType.TerminalData,
855
>
data,
856
>
});
857
>
}
858
859
/** Clear an output-only terminal's content (e.g. when cumulative source output was rewritten). */