()
| 11233 | run_anchor: Widget | None = None |
| 11234 | |
| 11235 | async def flush() -> None: |
| 11236 | nonlocal run_tools, run_collapsible, run_anchor |
| 11237 | if run_tools and run_anchor is not None: |
| 11238 | await self._mount_tool_group_summary( |
| 11239 | messages, run_tools, run_collapsible, run_anchor |
| 11240 | ) |
| 11241 | run_tools = [] |
| 11242 | run_collapsible = [] |
| 11243 | run_anchor = None |
| 11244 | |
| 11245 | # One repaint for the whole regroup — a single hydration or boundary |
| 11246 | # pass can fold several runs and hide many rows at once. |