getcompanion-ai/co-mono
1
0
Fork 0
mirror of https://github.com/getcompanion-ai/co-mono.git synced 2026-04-15 21:03:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

added custom header support and example extension

Browse source
This commit is contained in:
Tudor Oancea 2026-01-06 14:59:26 +01:00 • committed by Mario Zechner
parent 512ae4b4c0
commit f755f69e0a
9 changed files with 127 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

45
packages/coding-agent/src/modes/interactive/interactive-mode.ts
View file

@ -160,6 +160,12 @@ export class InteractiveMode {
// Custom footer from extension (undefined = use built-in footer)
private customFooter: (Component & { dispose?(): void }) | undefined = undefined;
// Built-in header (logo + keybinding hints + changelog)
private builtInHeader: Component | undefined = undefined;
// Custom header from extension (undefined = use built-in header)
private customHeader: (Component & { dispose?(): void }) | undefined = undefined;
// Convenience accessors
private get agent() {
return this.session.agent;
@ -317,11 +323,11 @@ export class InteractiveMode {
"\n" +
theme.fg("dim", "drop files") +
theme.fg("muted", " to attach");
const header = new Text(`${logo}\n${instructions}`, 1, 0);
this.builtInHeader = new Text(`${logo}\n${instructions}`, 1, 0);
// Setup UI layout
this.ui.addChild(new Spacer(1));
this.ui.addChild(header);
this.ui.addChild(this.builtInHeader);
this.ui.addChild(new Spacer(1));
// Add changelog if provided
@ -683,6 +689,40 @@ export class InteractiveMode {
this.ui.requestRender();
}
/**
* Set a custom header component, or restore the built-in header.
*/
private setExtensionHeader(factory: ((tui: TUI, thm: Theme) => Component & { dispose?(): void }) | undefined): void {
// Header may not be initialized yet if called during early initialization
if (!this.builtInHeader) {
return;
}
// Dispose existing custom header
if (this.customHeader?.dispose) {
this.customHeader.dispose();
}
// Remove current header from UI
if (this.customHeader) {
this.ui.removeChild(this.customHeader);
} else {
this.ui.removeChild(this.builtInHeader);
}
if (factory) {
// Create and add custom header at position 1 (after initial spacer)
this.customHeader = factory(this.ui, theme);
this.ui.children.splice(1, 0, this.customHeader);
} else {
// Restore built-in header at position 1
this.customHeader = undefined;
this.ui.children.splice(1, 0, this.builtInHeader);
}
this.ui.requestRender();
}
/**
* Create the ExtensionUIContext for extensions.
*/
@ -695,6 +735,7 @@ export class InteractiveMode {
setStatus: (key, text) => this.setExtensionStatus(key, text),
setWidget: (key, content) => this.setExtensionWidget(key, content),
setFooter: (factory) => this.setExtensionFooter(factory),
setHeader: (factory) => this.setExtensionHeader(factory),
setTitle: (title) => this.ui.terminal.setTitle(title),
custom: (factory) => this.showExtensionCustom(factory),
setEditorText: (text) => this.editor.setText(text),