@leanandmean/coding-agent 0.74.1-scramjet.15 → 0.74.1-scramjet.16

package/dist/modes/interactive/interactive-mode.js

@@ -127,6 +127,8 @@ export class InteractiveMode {
     loadingAnimation = undefined;
     workingMessage = undefined;
     workingVisible = true;
+    // SCRAMJET-DIVERGENCE: title provider for extension-owned terminal titles.
+    titleProvider = undefined;
     workingIndicatorOptions = undefined;
     defaultWorkingMessage = "Working...";
     defaultHiddenThinkingLabel = "Thinking...";
@@ -497,6 +499,20 @@ export class InteractiveMode {
      * Update terminal title with session name and cwd.
      */
     updateTerminalTitle() {
+        // SCRAMJET-DIVERGENCE: delegate to title provider when set.
+        if (this.titleProvider) {
+            let title;
+            try {
+                title = this.titleProvider();
+            }
+            catch {
+                // Provider failed; fall through to default title
+            }
+            if (title !== undefined) {
+                this.ui.terminal.setTitle(title);
+                return;
+            }
+        }
         const cwdBasename = path.basename(this.sessionManager.getCwd());
         const sessionName = this.sessionManager.getSessionName();
         if (sessionName) {
@@ -1404,6 +1420,7 @@ export class InteractiveMode {
         this.setCustomEditorComponent(undefined);
         this.setupAutocompleteProvider();
         this.defaultEditor.onExtensionShortcut = undefined;
+        this.titleProvider = undefined;
         this.updateTerminalTitle();
         this.workingMessage = undefined;
         this.workingVisible = true;
@@ -1546,6 +1563,10 @@ export class InteractiveMode {
             setFooter: (factory) => this.setExtensionFooter(factory),
             setHeader: (factory) => this.setExtensionHeader(factory),
             setTitle: (title) => this.ui.terminal.setTitle(title),
+            setTitleProvider: (provider) => {
+                this.titleProvider = provider;
+                this.updateTerminalTitle();
+            },
             custom: (factory, options) => this.showExtensionCustom(factory, options),
             pasteToEditor: (text) => this.editor.handleInput(`\x1b[200~${text}\x1b[201~`),
             setEditorText: (text) => this.editor.setText(text),