Get an extension by its full identifier in the form of: publisher.name
.
An extension identifier.
An extension or undefined
.
Get an extension by its full identifier in the form of: publisher.name
.
An extension identifier.
An extension or undefined
.
An event which fires when extensions.all
changes. This can happen when extensions are
installed, uninstalled, enabled or disabled.
All extensions currently known to the system.
用于处理已安装扩展的命名空间。扩展由一个可以映射它们的接口 Extension 表示。
通过在 activate 方法中返回它们的公共 API 给其他扩展,扩展开发者可以给其他扩展提供 API。
当依赖于另一个扩展的
API
时,将依赖的扩展
添加到package.json
,然后使用 getExtension 方法 和 exports 来获取,如下:@pan463859