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

    Frontend-side client the backend notifies whenever the on-disk set of skills under ~/.agents/skills changes (installs, removals, or external edits picked up by the backend watcher), so the Extensions view can refresh its cards.

    interface SkillInstallClient {
        notifyDidChangeInstalledSkills(): void;
        notifyWatcherStopped(): void;
    }

    Implemented by

    Index

    Methods