Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface PluginManager

Hierarchy

  • PluginManager

Implemented by

Index

Properties

onDidChange: Event<void>

Methods

  • activatePlugin(pluginId: string): PromiseLike<void>
  • getPluginById(pluginId: string): undefined | Plugin
  • getPluginExport(pluginId: string): undefined | PluginAPI
  • isActive(pluginId: string): boolean
  • isRunning(pluginId: string): boolean