Add PR/issue widget metadata and spacing

This commit is contained in:
Mario Zechner 2026-01-09 21:40:29 +01:00
parent 32dd0d3cc4
commit b95cb7503e
2 changed files with 96 additions and 1 deletions

View file

@ -398,7 +398,6 @@ export class InteractiveMode {
this.ui.addChild(this.pendingMessagesContainer);
this.ui.addChild(this.statusContainer);
this.ui.addChild(this.widgetContainer);
this.ui.addChild(new Spacer(1));
this.ui.addChild(this.editorContainer);
this.ui.addChild(this.footer);
this.ui.setFocus(this.editor);
@ -847,6 +846,7 @@ export class InteractiveMode {
return;
}
this.widgetContainer.addChild(new Spacer(1));
for (const [_key, component] of this.extensionWidgets) {
this.widgetContainer.addChild(component);
}