| 268 | } |
| 269 | |
| 270 | function ToolReadFile(props: { data: any }): React.ReactElement { |
| 271 | const d = props.data; |
| 272 | return ( |
| 273 | <div className="hermes-lcm-tool"> |
| 274 | <div className="hermes-lcm-tool-meta"> |
| 275 | {d.total_lines != null ? toolBadge(fmtInt(d.total_lines) + " lines") : null} |
| 276 | {d.file_size != null ? toolBadge(fmtInt(d.file_size) + " B") : null} |
| 277 | {d.truncated ? toolBadge("truncated", "warn") : null} |
| 278 | {d.is_image ? toolBadge("image") : null} |
| 279 | </div> |
| 280 | {d.content ? codeBlock(d.content) : null} |
| 281 | {(d.hint || d._hint) ? <div className="hermes-lcm-dim">{String(d.hint || d._hint)}</div> : null} |
| 282 | </div> |
| 283 | ); |
| 284 | } |
| 285 | |
| 286 | function ToolSearchFiles(props: { data: any }): React.ReactElement { |
| 287 | const d = props.data; |