Theia API Documentation v1.75.0
    Preparing search index...

    The seam between installed Agent Plugins and Theia's MCP configuration. Ownership rides on registryMetadata.pluginId rather than a recorded list of keys, so renaming a key in the preference does not orphan the entry.

    No merge policy on purpose: an update deletes the plugin's entries and writes them again from the root. The MCP preference is about to become a file-based configuration and this is rewritten then.

    interface PluginMcpRegistrar {
        reconcile(infos: InstalledPluginInfo[]): Promise<void>;
        register(info: InstalledPluginInfo): Promise<void>;
        unregister(pluginId: string): Promise<void>;
    }

    Implemented by

    Index

    Methods