Theia API Documentation v1.65.0
    Preparing search index...
    • Get an plug-in by its full identifier in the form of: publisher.name.

      Parameters

      • pluginId: string

        An plug-in identifier.

      Returns undefined | Plugin<any>

      An plug-in or undefined.

    • Get an plug-in its full identifier in the form of: publisher.name.

      Type Parameters

      • T

      Parameters

      • pluginId: string

        An plug-in identifier.

      Returns undefined | Plugin<T>

      An plug-in or undefined.