Function highlightPattern

web/components/tools/ToolGrep.tsx:67–83

(text: string, pattern: string)

}

function highlightPattern(text: string, pattern: string): React.ReactNode {
  try {
    const re = new RegExp(`(${pattern})`, "gi");
    const parts = text.split(re);
    return parts.map((part, i) =>
      re.test(part) ? (
        <mark key={i} className="bg-yellow-500/30 text-yellow-200 rounded-sm">
          {part}
        </mark>
      ) : (
        part
      )
    );
  } catch {
    return text;
  }
}

export function ToolGrep({
  input,