Theia API Documentation v1.75.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/getting-started
browser/walkthrough-service
WalkthroughPluginSupport
Interface WalkthroughPluginSupport
interface
WalkthroughPluginSupport
{
disabledByTrust
:
ReadonlySet
<
string
>
;
onDidChangePlugins
:
Event
<
void
>
;
plugins
:
PluginMetadata
[]
;
getPlugin
(
id
:
`
${
string
}
.
${
string
}
`
)
:
undefined
|
DeployedPlugin
;
}
Index
Properties
disabled
By
Trust
on
Did
Change
Plugins
plugins
Methods
get
Plugin
Properties
Readonly
disabled
By
Trust
disabledByTrust
:
ReadonlySet
<
string
>
The plugins that are not loaded because the workspace is not trusted.
Readonly
on
Did
Change
Plugins
onDidChangePlugins
:
Event
<
void
>
Readonly
plugins
plugins
:
PluginMetadata
[]
Methods
get
Plugin
getPlugin
(
id
:
`
${
string
}
.
${
string
}
`
)
:
undefined
|
DeployedPlugin
Parameters
id
:
`
${
string
}
.
${
string
}
`
Returns
undefined
|
DeployedPlugin
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
disabled
By
Trust
on
Did
Change
Plugins
plugins
Methods
get
Plugin
Eclipse Theia Website
GitHub
Theia API Documentation v1.75.0
Loading...
The plugins that are not loaded because the workspace is not trusted.