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)

    Implements

    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> = ...
    toDispose: DisposableCollection = ...
    uninstallationManager: PluginUninstallationManager
    uninstalledPlugins: Set<`${string}.${string}@${string}`>

    Methods

    • 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