Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin
theia.proposed.debugVisualization
window
onDidChangeTextEditorOptions
Variable onDidChangeTextEditorOptions
Const
onDidChangeTextEditorOptions
:
Event
<
TextEditorOptionsChangeEvent
>
An
event
which fires when the options of an editor have changed.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
An event which fires when the options of an editor have changed.