Interface TextEditorEdit

interface TextEditorEdit {
    delete(location: Selection | Range): void;
    insert(location: Position, value: string): void;
    replace(location: Position | Selection | Range, value: string): void;
    setEndOfLine(endOfLine: EndOfLine): void;
}

Index

Methods

delete insert replace setEndOfLine

Methods

delete

delete(location: Selection | Range): void
Delete a certain text region.
Parameters
- location: Selection | Range
  The range this operation should remove.
Returns void
- Defined in packages/plugin/src/theia.d.ts:1233

insert

insert(location: Position, value: string): void
Insert text at a location. You can use \r\n or \n in value and they will be normalized to the current document. Although the equivalent text edit can be made with replace, insert will produce a different resulting selection (it will get moved).
Parameters
- location: Position
  The position where the new text should be inserted.
- value: string
  The new text this operation should insert.
Returns void
- Defined in packages/plugin/src/theia.d.ts:1226

replace

replace(location: Position | Selection | Range, value: string): void
Replace a certain text region with a new value. You can use \r\n or \n in value and they will be normalized to the current document.
Parameters
- location: Position | Selection | Range
  The range this operation should remove.
- value: string
  The new text this operation should insert after removing location.
Returns void
- Defined in packages/plugin/src/theia.d.ts:1216

setEndOfLine

setEndOfLine(endOfLine: EndOfLine): void
Set the end of line sequence.
Parameters
- endOfLine: EndOfLine
  The new end of line for the document.
Returns void
- Defined in packages/plugin/src/theia.d.ts:1240