shumengya/sproutclaw
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(coding-agent): refresh title after extension session rename

Browse Source 
closes #3686
This commit is contained in:
Mario Zechner
2026-04-25 17:20:26 +02:00
parent a363b668ac
commit c19e64a444
4 changed files with 51 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
packages/coding-agent/src/core/agent-session.ts
View File

@@ -119,6 +119,7 @@ export type AgentSessionEvent =
followUp: readonly string[];
}
| { type: "compaction_start"; reason: "manual" | "threshold" | "overflow" }
| { type: "session_info_changed"; name: string | undefined }
| {
type: "compaction_end";
reason: "manual" | "threshold" | "overflow";
@@ -2166,7 +2167,7 @@ export class AgentSession {
this.sessionManager.appendCustomEntry(customType, data);
},
setSessionName: (name) => {
this.sessionManager.appendSessionInfo(name);
this.setSessionName(name);
},
getSessionName: () => {
return this.sessionManager.getSessionName();
@@ -2648,6 +2649,7 @@ export class AgentSession {
*/
setSessionName(name: string): void {
this.sessionManager.appendSessionInfo(name);
this._emit({ type: "session_info_changed", name: this.sessionManager.getSessionName() });
}
// =========================================================================

9
packages/coding-agent/src/modes/interactive/interactive-mode.ts
View File

@@ -2698,6 +2698,12 @@ export class InteractiveMode {
this.ui.requestRender();
break;
case "session_info_changed":
this.updateTerminalTitle();
this.footer.invalidate();
this.ui.requestRender();
break;
case "message_start":
if (event.message.role === "custom") {
this.addMessageToChat(event.message);
@@ -5039,8 +5045,7 @@ export class InteractiveMode {
return;
}
this.sessionManager.appendSessionInfo(name);
this.updateTerminalTitle();
this.session.setSessionName(name);
this.chatContainer.addChild(new Spacer(1));
this.chatContainer.addChild(new Text(theme.fg("dim", `Session name set: ${name}`), 1, 0));
this.ui.requestRender();