Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/text-editor
EditData
Interface EditData
interface
EditData
{
documentVersionId
:
number
;
edits
:
TextEditOperation
[]
;
setEndOfLine
:
undefined
|
EndOfLine
;
undoStopAfter
:
boolean
;
undoStopBefore
:
boolean
;
}
Index
Properties
document
Version
Id
edits
set
End
Of
Line
undo
Stop
After
undo
Stop
Before
Properties
document
Version
Id
documentVersionId
:
number
edits
edits
:
TextEditOperation
[]
set
End
Of
Line
setEndOfLine
:
undefined
|
EndOfLine
undo
Stop
After
undoStopAfter
:
boolean
undo
Stop
Before
undoStopBefore
:
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
document
Version
Id
edits
set
End
Of
Line
undo
Stop
After
undo
Stop
Before
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...