(p: ToolProps<typeof ReadTool>)
| 685 | } |
| 686 | |
| 687 | function scrollReadStart(p: ToolProps<typeof ReadTool>): string { |
| 688 | const file = toolPath(p.input.filePath) |
| 689 | const extra = info(p.frame.input, ["filePath"]) |
| 690 | const tail = extra ? ` ${extra}` : "" |
| 691 | return `→ Read ${file}${tail}`.trim() |
| 692 | } |
| 693 | |
| 694 | function scrollWriteStart(_: ToolProps<typeof WriteTool>): string { |
| 695 | return "" |