src/vs/platform/terminal/common/terminalDataBuffering.ts/TerminalDataBufferer/flushBuffer
class TerminalDataBufferer:	flushBuffer(id: number): void {
		const buffer = this._terminalBufferMap.get(id);
		if (buffer) {
			this._terminalBufferMap.delete(id);
			this._callback(id, buffer.data.join(''));
		}
	}