@@ -165,7 +165,7 @@ export interface AgentSessionConfig {
|
||||
cwd: string;
|
||||
/** Models to cycle through with Ctrl+P (from --models flag) */
|
||||
scopedModels?: Array<{ model: Model<any>; thinkingLevel?: ThinkingLevel }>;
|
||||
/** Resource loader for skills, prompts, themes, context files, system prompt */
|
||||
/** Resource loader for extensions, skills, prompts, themes, context files, and system prompt */
|
||||
resourceLoader: ResourceLoader;
|
||||
/** SDK custom tools registered outside extensions */
|
||||
customTools?: ToolDefinition[];
|
||||
|
||||
@@ -370,7 +370,7 @@ export interface ExtensionCommandContext extends ExtensionContext {
|
||||
options?: { withSession?: (ctx: ReplacedSessionContext) => Promise<void> },
|
||||
): Promise<{ cancelled: boolean }>;
|
||||
|
||||
/** Reload extensions, skills, prompts, and themes. */
|
||||
/** Reload extensions, skills, prompts, themes, and context files. */
|
||||
reload(): Promise<void>;
|
||||
}
|
||||
|
||||
|
||||
@@ -37,6 +37,6 @@ export const BUILTIN_SLASH_COMMANDS: ReadonlyArray<BuiltinSlashCommand> = [
|
||||
{ name: "new", description: "Start a new session" },
|
||||
{ name: "compact", description: "Manually compact the session context" },
|
||||
{ name: "resume", description: "Resume a different session" },
|
||||
{ name: "reload", description: "Reload keybindings, extensions, skills, prompts, and themes" },
|
||||
{ name: "reload", description: "Reload keybindings, extensions, skills, prompts, themes, and context files" },
|
||||
{ name: "quit", description: `Quit ${APP_NAME}` },
|
||||
];
|
||||
|
||||
@@ -5247,7 +5247,11 @@ export class InteractiveMode {
|
||||
reloadBox.addChild(new DynamicBorder(borderColor));
|
||||
reloadBox.addChild(new Spacer(1));
|
||||
reloadBox.addChild(
|
||||
new Text(theme.fg("muted", "Reloading keybindings, extensions, skills, prompts, themes..."), 1, 0),
|
||||
new Text(
|
||||
theme.fg("muted", "Reloading keybindings, extensions, skills, prompts, themes, and context files..."),
|
||||
1,
|
||||
0,
|
||||
),
|
||||
);
|
||||
reloadBox.addChild(new Spacer(1));
|
||||
reloadBox.addChild(new DynamicBorder(borderColor));
|
||||
@@ -5317,8 +5321,8 @@ export class InteractiveMode {
|
||||
}
|
||||
this.showStatus(
|
||||
savedImplicitProjectTrust
|
||||
? "Reloaded keybindings, extensions, skills, prompts, themes; saved project trust"
|
||||
: "Reloaded keybindings, extensions, skills, prompts, themes",
|
||||
? "Reloaded keybindings, extensions, skills, prompts, themes, and context files; saved project trust"
|
||||
: "Reloaded keybindings, extensions, skills, prompts, themes, and context files",
|
||||
);
|
||||
dismissReloadBox(this.editor as Component);
|
||||
reloadBoxDismissed = true;
|
||||
|
||||
Reference in New Issue
Block a user