Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
main/browser/text-editor-main
Module main/browser/text-editor-main
Classes
TextEditorMain
TextEditorPropertiesMain
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Classes
Text
Editor
Main
Text
Editor
Properties
Main
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...