Theia API Documentation v1.66.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia
workspace
onDidChangeConfiguration
Variable onDidChangeConfiguration
Const
onDidChangeConfiguration
:
Event
<
ConfigurationChangeEvent
>
An event that is emitted when the
configuration
changed.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.66.0
Loading...
An event that is emitted when the configuration changed.