(p: ToolProps<typeof WebSearchTool>)
| 908 | } |
| 909 | |
| 910 | function scrollWebSearchStart(p: ToolProps<typeof WebSearchTool>): string { |
| 911 | const title = webSearchProviderLabel(p.metadata.provider) |
| 912 | const query = p.input.query ?? "" |
| 913 | if (!query) { |
| 914 | return `◈ ${title}` |
| 915 | } |
| 916 | |
| 917 | return `◈ ${title} "${query}"` |
| 918 | } |
| 919 | |
| 920 | function permEdit(p: ToolPermissionProps<typeof EditTool>): ToolPermissionInfo { |
| 921 | const input = p.input as { filePath?: string; filepath?: string; diff?: string } |
nothing calls this directly
no test coverage detected