(name: str, args: str, width: int = 78)
| 97 | |
| 98 | |
| 99 | def _format_tool_line(name: str, args: str, width: int = 78) -> str: |
| 100 | args = args or "" |
| 101 | args = args.replace("\n", " ") |
| 102 | base = f" \u00b7 {name}({args})" |
| 103 | if len(base) > width: |
| 104 | base = base[: width - 1] + "\u2026" |
| 105 | return base |
| 106 | |
| 107 | |
| 108 | def _extract_preview(text: str, limit: int = 150) -> str: |