Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-api-rpc
PluginManager
Interface PluginManager
interface
PluginManager
{
onDidChange
:
Event
<
void
>
;
activatePlugin
(
pluginId
:
string
)
:
PromiseLike
<
void
>
;
getAllPlugins
()
:
Plugin
[]
;
getPluginById
(
pluginId
:
string
)
:
undefined
|
Plugin
;
getPluginExport
(
pluginId
:
string
)
:
undefined
|
PluginAPI
;
getPluginKind
()
:
ExtensionKind
;
isActive
(
pluginId
:
string
)
:
boolean
;
isRunning
(
pluginId
:
string
)
:
boolean
;
}
Implemented by
AbstractPluginManagerExtImpl
Index
Properties
on
Did
Change
Methods
activate
Plugin
get
All
Plugins
get
Plugin
By
Id
get
Plugin
Export
get
Plugin
Kind
is
Active
is
Running
Properties
on
Did
Change
onDidChange
:
Event
<
void
>
Methods
activate
Plugin
activatePlugin
(
pluginId
:
string
)
:
PromiseLike
<
void
>
Parameters
pluginId
:
string
Returns
PromiseLike
<
void
>
get
All
Plugins
getAllPlugins
()
:
Plugin
[]
Returns
Plugin
[]
get
Plugin
By
Id
getPluginById
(
pluginId
:
string
)
:
undefined
|
Plugin
Parameters
pluginId
:
string
Returns
undefined
|
Plugin
get
Plugin
Export
getPluginExport
(
pluginId
:
string
)
:
undefined
|
PluginAPI
Parameters
pluginId
:
string
Returns
undefined
|
PluginAPI
get
Plugin
Kind
getPluginKind
()
:
ExtensionKind
Returns
ExtensionKind
is
Active
isActive
(
pluginId
:
string
)
:
boolean
Parameters
pluginId
:
string
Returns
boolean
is
Running
isRunning
(
pluginId
:
string
)
:
boolean
Parameters
pluginId
:
string
Returns
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
on
Did
Change
Methods
activate
Plugin
get
All
Plugins
get
Plugin
By
Id
get
Plugin
Export
get
Plugin
Kind
is
Active
is
Running
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...