Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/text-editor
Module plugin/text-editor
Classes
TextEditorEdit
TextEditorExt
TextEditorOptionsExt
Interfaces
EditData
TextEditOperation
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Text
Editor
Edit
Text
Editor
Ext
Text
Editor
Options
Ext
Interfaces
Edit
Data
Text
Edit
Operation
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...