Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext-headless
common/headless-plugin-protocol
SingleEditOperation
Interface SingleEditOperation
interface
SingleEditOperation
{
forceMoveMarkers
?:
boolean
;
range
?:
Range
;
text
?:
string
;
}
Index
Properties
force
Move
Markers?
range?
text?
Properties
Optional
force
Move
Markers
forceMoveMarkers
?:
boolean
Optional
range
range
?:
Range
Optional
text
text
?:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
force
Move
Markers
range
text
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...