Format tool result if JSON

7dea59f026721c0c6b03067abdcb1ccc07dabbb9

Cohee <18619528+Cohee1207@users.noreply.github.com>

Parents: 54837680f772f94cf14c5dc379711cc60023f36b
1 files changed, +4 -1Ignore whitespace
public/scripts/tool-calling.js+4 -1
@@ -529,7 +529,10 @@ export class ToolManager {
529 const preElement = document.createElement('pre');529 const preElement = document.createElement('pre');
530 const codeElement = document.createElement('code');530 const codeElement = document.createElement('code');
531 codeElement.classList.add('language-json');531 codeElement.classList.add('language-json');
532 data.forEach(i => i.parameters = tryParse(i.parameters));532 data.forEach(i => {
533 i.parameters = tryParse(i.parameters);
534 i.result = tryParse(i.result);
535 });
533 codeElement.textContent = JSON.stringify(data, null, 2);536 codeElement.textContent = JSON.stringify(data, null, 2);
534 const toolNames = data.map(i => i.displayName || i.name).join(', ');537 const toolNames = data.map(i => i.displayName || i.name).join(', ');
535 summaryElement.textContent = `Tool calls: ${toolNames}`;538 summaryElement.textContent = `Tool calls: ${toolNames}`;