Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-ext
PluginDeployOptions
Interface PluginDeployOptions
interface
PluginDeployOptions
{
ignoreOtherVersions
?:
boolean
;
version
:
string
;
}
Index
Properties
ignore
Other
Versions?
version
Properties
Optional
ignore
Other
Versions
ignore
Other
Versions
?:
boolean
Instructs the deployer to ignore any existing plugins with different versions
version
version
:
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
ignore
Other
Versions
version
Theia TypeDoc
Loading...
Instructs the deployer to ignore any existing plugins with different versions