Function pushSegment

web/components/tools/AnsiRenderer.tsx:87–92

(end: number)

  let textStart = 0;

  const pushSegment = (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);