Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
ApplyEditsOptions
Interface ApplyEditsOptions
interface
ApplyEditsOptions
{
setEndOfLine
:
undefined
|
EndOfLine
;
undoStopAfter
:
boolean
;
undoStopBefore
:
boolean
;
}
Hierarchy (
View Summary
)
UndoStopOptions
ApplyEditsOptions
Index
Properties
set
End
Of
Line
undo
Stop
After
undo
Stop
Before
Properties
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
set
End
Of
Line
undo
Stop
After
undo
Stop
Before
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...