(part: ToolPart)
| 184 | } |
| 185 | |
| 186 | function stateTitle(part: ToolPart) { |
| 187 | return text("title" in part.state ? part.state.title : undefined) |
| 188 | } |
| 189 | |
| 190 | function callKey(messageID: string | undefined, callID: string | undefined): string | undefined { |
| 191 | if (!messageID || !callID) { |