Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin
TextEditorOptionsChangeEvent
Interface TextEditorOptionsChangeEvent
Represents an event the change in a text editor's options
Hierarchy
TextEditorOptionsChangeEvent
Index
Properties
options
text
Editor
Properties
options
options
:
TextEditorOptions
text
Editor
text
Editor
:
TextEditor
Exports
plugin
authentication
commands
comments
debug
env
languages
plugins
scm
tasks
window
workspace
Text
Editor
Options
Change
Event
options
text
Editor
Represents an event the change in a text editor's options