Download src/tools/GoalUpdateTool/UI.tsx from chenbhao/codev: direct link, hf CLI and curl.
- Browser
- Download file 950 Bytes
-
https://huggingface.co/chenbhao/codev/resolve/afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalUpdateTool/UI.tsx
- Command line
-
hf download hf://chenbhao/codev@afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalUpdateTool/UI.tsx
-
curl -L -o UI.tsx https://huggingface.co/chenbhao/codev/resolve/afbc7edaae4e6bb0102ba024b49ce8be89d2264c/src/tools/GoalUpdateTool/UI.tsx
950 Bytes
| import React from 'react' | |
| import { MessageResponse } from '../../components/MessageResponse.js' | |
| import { Text } from '../../ink.js' | |
| import type { Output } from './GoalUpdateTool.js' | |
| export function renderToolUseMessage(input: { | |
| status?: 'complete' | 'blocked' | |
| }): React.ReactNode { | |
| const verb = input.status === 'blocked' ? 'blocked' : 'complete' | |
| return <Text dimColor>marking goal {verb}...</Text> | |
| } | |
| export function renderToolResultMessage(output: Output): React.ReactNode { | |
| const color = | |
| output.status === 'complete' | |
| ? 'green' | |
| : output.status === 'blocked' | |
| ? 'yellow' | |
| : 'gray' | |
| const label = | |
| output.status === 'no-active-goal' || output.status === 'stale-goal' | |
| ? output.message | |
| : `Goal ${output.status}` | |
| return ( | |
| <MessageResponse> | |
| <Text> | |
| <Text color={color}>{label}</Text> | |
| {output.reason ? ` · ${output.reason}` : ''} | |
| </Text> | |
| </MessageResponse> | |
| ) | |
| } |