}
for (let activationEvent of activationEvents) {
if (activationEvent === 'onUri') {
- activationEvent = `onUri:theia://${plugin.model.id}`;
+ activationEvent = `onUri:${this.envExt.uriScheme}://${plugin.model.id}`;
}
this.setActivation(activationEvent, activation);
}
@@ -481,6 +481,7 @@ export class PluginManagerExtImpl extends AbstractPluginManagerExtImpl