Pin chat editor when request is made (#278710)

This commit is contained in:
Rob Lourens
2025-11-20 21:44:34 -08:00
committed by GitHub
parent 139c3c56ac
commit f1d6788835

View File

@@ -115,6 +115,9 @@ export class ChatEditor extends EditorPane {
inputEditorBackground: inputBackground, inputEditorBackground: inputBackground,
resultEditorBackground: editorBackground resultEditorBackground: editorBackground
})); }));
this._register(this.widget.onDidSubmitAgent(() => {
this.group.pinEditor(this.input);
}));
this.widget.render(parent); this.widget.render(parent);
this.widget.setVisible(true); this.widget.setVisible(true);
} }