Function push

web/lib/ansi-to-html.ts:78–81

(end: number)

  let textStart = 0;

  const push = (end: number) => {
    const text = input.slice(textStart, end);
    if (text) segments.push({ text, style: { ...current } });
  };

  while (pos < input.length) {
    const esc = input.indexOf("\x1b[", pos);