fix(coding-agent): emit OSC 133 command-executed marker closes #2242

This commit is contained in:
Mario Zechner
2026-03-17 12:56:44 +01:00
parent 7817e9b227
commit 42d6a5461f

View File

@@ -3,6 +3,7 @@ import { getMarkdownTheme, theme } from "../theme/theme.js";
const OSC133_ZONE_START = "\x1b]133;A\x07";
const OSC133_ZONE_END = "\x1b]133;B\x07";
const OSC133_ZONE_FINAL = "\x1b]133;C\x07";
/**
* Component that renders a user message
@@ -26,7 +27,7 @@ export class UserMessageComponent extends Container {
}
lines[0] = OSC133_ZONE_START + lines[0];
lines[lines.length - 1] = lines[lines.length - 1] + OSC133_ZONE_END;
lines[lines.length - 1] = lines[lines.length - 1] + OSC133_ZONE_END + OSC133_ZONE_FINAL;
return lines;
}
}