Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
main/browser/text-editor-main
TextEditorPropertiesMain
Class TextEditorPropertiesMain
Index
Constructors
constructor
Properties
options
selections
visible
Ranges
Methods
generate
Delta
read
From
Editor
Constructors
constructor
new
TextEditorPropertiesMain
(
selections
:
Selection
[]
,
options
:
TextEditorConfiguration
,
visibleRanges
:
Range
[]
,
)
:
TextEditorPropertiesMain
Parameters
selections
:
Selection
[]
options
:
TextEditorConfiguration
visibleRanges
:
Range
[]
Returns
TextEditorPropertiesMain
Properties
Readonly
options
options
:
TextEditorConfiguration
Readonly
selections
selections
:
Selection
[]
Readonly
visible
Ranges
visibleRanges
:
Range
[]
Methods
generate
Delta
generateDelta
(
old
:
undefined
|
TextEditorPropertiesMain
,
source
:
undefined
|
string
,
)
:
undefined
|
EditorChangedPropertiesData
Parameters
old
:
undefined
|
TextEditorPropertiesMain
source
:
undefined
|
string
Returns
undefined
|
EditorChangedPropertiesData
Static
read
From
Editor
readFromEditor
(
prevProperties
:
undefined
|
TextEditorPropertiesMain
,
model
:
ITextModel
|
ITextModel
,
editor
:
MonacoEditor
|
SimpleMonacoEditor
,
)
:
TextEditorPropertiesMain
Parameters
prevProperties
:
undefined
|
TextEditorPropertiesMain
model
:
ITextModel
|
ITextModel
editor
:
MonacoEditor
|
SimpleMonacoEditor
Returns
TextEditorPropertiesMain
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
options
selections
visible
Ranges
Methods
generate
Delta
read
From
Editor
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...