import type { ExtensionAPI, ExtensionCommandContext } from "@earendil-works/pi-coding-agent"; import type { AgentManager } from "../agent-manager.js"; import type { SubagentScheduler } from "../schedule.js"; import type { SettingsGetters, SettingsSetters } from "../settings.js"; export declare function showSettings(ctx: ExtensionCommandContext, manager: AgentManager, pi: ExtensionAPI, scheduler: SubagentScheduler, getters: SettingsGetters, setters: SettingsSetters): Promise; export declare function showCoordinationMenu(ctx: ExtensionCommandContext, pi: ExtensionAPI, manager: AgentManager, getters: SettingsGetters, setters: SettingsSetters): Promise; export declare function notifyApplied(ctx: ExtensionCommandContext, pi: ExtensionAPI, manager: AgentManager, getters: SettingsGetters, successMessage: string): void;