(p: ToolProps)
| 890 | } |
| 891 | |
| 892 | function scrollListStart(p: ToolProps): string { |
| 893 | const dir = text(dict(p.input).path) |
| 894 | if (!dir) { |
| 895 | return "→ List" |
| 896 | } |
| 897 | |
| 898 | return `→ List ${toolPath(dir)}` |
| 899 | } |
| 900 | |
| 901 | function scrollWebfetchStart(p: ToolProps<typeof WebFetchTool>): string { |
| 902 | const url = p.input.url ?? "" |