Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • TextEditorEdit

Index

Constructors

  • new TextEditorEdit(document: TextDocument, options: { undoStopAfter: boolean; undoStopBefore: boolean }): TextEditorEdit

Properties

collectedEdits: TextEditOperation[]
documentVersionId: number
undoStopAfter: boolean
undoStopBefore: boolean

Methods

  • addEdit(range: Range, text: undefined | string, moveMarkers: boolean): void
  • insert(location: Position, val: string): void