mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
feat(coding-agent): add resources_discover hook
This commit is contained in:
@@ -1066,6 +1066,9 @@ export class InteractiveMode {
|
||||
},
|
||||
});
|
||||
|
||||
setRegisteredThemes(this.session.resourceLoader.getThemes().themes);
|
||||
this.rebuildAutocomplete();
|
||||
|
||||
const extensionRunner = this.session.extensionRunner;
|
||||
if (!extensionRunner) {
|
||||
this.showLoadedResources({ extensionPaths: [], force: false });
|
||||
|
||||
Reference in New Issue
Block a user