chore: uptick
This commit is contained in:
+5
-3
@@ -568,15 +568,17 @@ export function App({ gw }: { gw: GatewayClient }) {
|
|||||||
break
|
break
|
||||||
}
|
}
|
||||||
|
|
||||||
case 'tool.complete':
|
case 'tool.complete': {
|
||||||
|
const mark = p.error ? '✗' : '✓'
|
||||||
setTools(prev => {
|
setTools(prev => {
|
||||||
const done = prev.find(t => t.id === p.tool_id)
|
const done = prev.find(t => t.id === p.tool_id)
|
||||||
const label = TOOL_VERBS[done?.name ?? p.name] ?? done?.name ?? p.name
|
const label = TOOL_VERBS[done?.name ?? p.name] ?? done?.name ?? p.name
|
||||||
const ctx = done?.context || ''
|
const ctx = (p.error as string) || done?.context || ''
|
||||||
appendMessage({ role: 'tool', text: `${label}${ctx ? ': ' + ctx : ''} ✓` })
|
appendMessage({ role: 'tool', text: `${label}${ctx ? ': ' + ctx : ''} ${mark}` })
|
||||||
|
|
||||||
return prev.filter(t => t.id !== p.tool_id)
|
return prev.filter(t => t.id !== p.tool_id)
|
||||||
})
|
})
|
||||||
|
}
|
||||||
|
|
||||||
break
|
break
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user