diff --git a/CHANGELOG.md b/CHANGELOG.md index 3c4244068b4e2..8d8ff1b8e4171 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,7 @@ - [core] Updated AuthenticationService to handle multiple accounts per provider [#14149](https://github.com/eclipse-theia/theia/pull/14149) - Contributed on behalf of STMicroelectronics diff --git a/packages/plugin-ext/src/plugin/plugin-context.ts b/packages/plugin-ext/src/plugin/plugin-context.ts index e4bfae6643065..bb19d777fb058 100644 --- a/packages/plugin-ext/src/plugin/plugin-context.ts +++ b/packages/plugin-ext/src/plugin/plugin-context.ts @@ -884,7 +884,7 @@ export function createAPIFactory( const extensions: typeof theia.extensions = Object.freeze({ // eslint-disable-next-line @typescript-eslint/no-explicit-any - getExtension(extensionId: string, includeFromDifferentExtensionHosts: boolean = false): theia.Extension | undefined { + getExtension(extensionId: string, includeFromDifferentExtensionHosts: boolean = false): theia.Extension | undefined { includeFromDifferentExtensionHosts = false; const plg = pluginManager.getPluginById(extensionId.toLowerCase()); if (plg) { diff --git a/packages/plugin/src/theia.proposed.extensionsAny.d.ts b/packages/plugin/src/theia.proposed.extensionsAny.d.ts index 7d05daae7341e..7346670ba1482 100644 --- a/packages/plugin/src/theia.proposed.extensionsAny.d.ts +++ b/packages/plugin/src/theia.proposed.extensionsAny.d.ts @@ -41,9 +41,13 @@ export module '@theia/plugin' { * @param extensionId An extension identifier. * @param includeDifferentExtensionHosts Include extensions from different extension host * @return An extension or `undefined`. + * + * *Note* In Theia, includeDifferentExtensionHosts will always be set to false, as we only support one host currently. */ // eslint-disable-next-line @typescript-eslint/no-explicit-any export function getExtension(extensionId: string, includeDifferentExtensionHosts: boolean): Extension | undefined; + // eslint-disable-next-line @typescript-eslint/no-explicit-any + export function getExtension(extensionId: string, includeDifferentExtensionHosts: true): Extension | undefined; /** * All extensions across all extension hosts.