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

    Keeps ai-features.mcp.mcpServers in step with what is actually in the plugins root, so that an mcp.json added, changed or removed after the install shows up the way a skill does.

    Installing registers a plugin's servers directly; this exists for every other way the root can change - an edit on disk, a plugin directory removed by hand, or an mcp.json added while the application was not running, which is why it also runs once at startup.

    Implements

    Index

    Constructors

    Properties

    installService: PluginInstallService
    logger: ILogger
    pending: Promise<void> = ...

    Serialises overlapping runs; two reconciles writing the same preference would race.

    toDispose: DisposableCollection = ...

    Methods