fix(tui): show skill name in mini tool output (#38250)

This commit is contained in:
Simon Klee 2026-07-22 07:03:02 +02:00 committed by GitHub
commit ca6da05d07
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 38 additions and 3 deletions

View file

@ -49,6 +49,7 @@ type PatchFile = {
}
type ToolInput = ToolDict & {
id?: string
path?: string
pattern?: string
url?: string
@ -67,6 +68,7 @@ type ToolInput = ToolDict & {
}
type ToolMetadata = ToolDict & {
name?: string
count?: number
matches?: number
diff?: string
@ -416,9 +418,10 @@ function runTask(p: ToolProps): ToolInline {
}
function runSkill(p: ToolProps): ToolInline {
const name = p.metadata.name ?? p.input.id ?? ""
return {
icon: "→",
title: `Skill "${p.input.name ?? ""}"`,
title: `Skill "${name}"`,
}
}
@ -819,7 +822,7 @@ function scrollLspStart(p: ToolProps): string {
}
function scrollSkillStart(p: ToolProps): string {
return `→ Skill "${p.input.name ?? ""}"`
return `→ Skill "${p.metadata.name ?? p.input.id ?? ""}"`
}
function scrollGlobStart(p: ToolProps): string {