Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
GetDeployedPluginsParams
Interface GetDeployedPluginsParams
interface
GetDeployedPluginsParams
{
pluginIds
:
`
${
string
}
.
${
string
}
@
${
string
}
`
[]
;
}
Index
Properties
plugin
Ids
Properties
plugin
Ids
plugin
Ids
:
`
${
string
}
.
${
string
}
@
${
string
}
`
[]
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
plugin
Ids
Theia TypeDoc
Loading...