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

    This class implements the per-front-end services for plugin management and communication

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    backendPluginHostableFilter: BackendPluginHostableFilter
    client: undefined | HostedPluginClient
    deployerHandler: PluginDeployerHandlerImpl
    disabledPlugins: Set<`${string}.${string}@${string}`>
    extPluginAPIContributions: ContributionProvider<ExtPluginApiProvider>
    initialized: Deferred<void>
    localizationService: HostedPluginLocalizationService
    logger: ILogger
    pluginDeployer: PluginDeployerImpl
    pluginVersions: Map<`${string}.${string}`, string>
    uninstallationManager: PluginUninstallationManager
    uninstalledPlugins: Set<`${string}.${string}@${string}`>

    Methods

    • Dispose this object.

      Returns void

    • Returns Promise<`${string}.${string}@${string}`[]>

    • Returns Promise<readonly `${string}.${string}@${string}`[]>

    • Returns Promise<readonly `${string}.${string}@${string}`[]>

    • Ensures that the plugin was not uninstalled when this session was started and that it matches the first version of the given plugin seen by this session.

      The deployment system may have multiple versions of the same plugin available, but a single session should only ever activate one of them.

      Parameters

      • identifier: `${string}.${string}@${string}`

      Returns boolean

    • Parameters

      • pluginHostId: string
      • message: Uint8Array

      Returns Promise<void>