fix(coding-agent): tighten HTML export tool spacing

This commit is contained in:
Mario Zechner
2026-04-27 21:18:34 +02:00
parent bdb416cbc0
commit b8238a77a5
5 changed files with 56 additions and 7 deletions

View File

@@ -254,5 +254,5 @@ export function ansiToHtml(text: string): string {
* Each line is wrapped in a div element.
*/
export function ansiLinesToHtml(lines: string[]): string {
return lines.map((line) => `<div class="ansi-line">${ansiToHtml(line) || "&nbsp;"}</div>`).join("\n");
return lines.map((line) => `<div class="ansi-line">${ansiToHtml(line) || "&nbsp;"}</div>`).join("");
}

View File

@@ -505,11 +505,16 @@
}
.tool-output > div,
.output-preview,
.output-full {
.output-preview > div,
.output-full > div {
margin: 0;
padding: 0;
line-height: var(--line-height);
}
.tool-output > div:not(.output-preview):not(.output-full),
.output-preview > div:not(.expand-hint),
.output-full > div:not(.expand-hint) {
white-space: pre-wrap;
}

View File

@@ -41,6 +41,20 @@ export interface ToolHtmlRenderer {
* The renderer looks up tool definitions and invokes their renderCall/renderResult
* methods, converting the resulting TUI Component output (ANSI) to HTML.
*/
const ANSI_ESCAPE_REGEX = /\x1b\[[\d;]*m/g;
function isBlankRenderedLine(line: string): boolean {
return line.replace(ANSI_ESCAPE_REGEX, "").trim().length === 0;
}
function trimRenderedResultLines(lines: string[]): string[] {
let start = 0;
let end = lines.length;
while (start < end && isBlankRenderedLine(lines[start])) start++;
while (end > start && isBlankRenderedLine(lines[end - 1])) end--;
return lines.slice(start, end);
}
export function createToolHtmlRenderer(deps: ToolHtmlRendererDeps): ToolHtmlRenderer {
const { getToolDefinition, theme, cwd, width = 100 } = deps;
@@ -133,7 +147,7 @@ export function createToolHtmlRenderer(deps: ToolHtmlRendererDeps): ToolHtmlRend
createRenderContext(toolCallId, renderedResultComponents.get(toolCallId), false, false, isError),
);
renderedResultComponents.set(toolCallId, collapsedComponent);
const collapsed = ansiLinesToHtml(collapsedComponent.render(width));
const collapsed = ansiLinesToHtml(trimRenderedResultLines(collapsedComponent.render(width)));
// Render expanded
const expandedComponent = toolDef.renderResult(
@@ -143,7 +157,7 @@ export function createToolHtmlRenderer(deps: ToolHtmlRendererDeps): ToolHtmlRend
createRenderContext(toolCallId, renderedResultComponents.get(toolCallId), true, false, isError),
);
renderedResultComponents.set(toolCallId, expandedComponent);
const expanded = ansiLinesToHtml(expandedComponent.render(width));
const expanded = ansiLinesToHtml(trimRenderedResultLines(expandedComponent.render(width)));
return {
...(collapsed && collapsed !== expanded ? { collapsed } : {}),