ReplaceOperation constructor

ReplaceOperation({ required int offset, required String deletedText, required String insertedText, required TextSelection selectionBefore, required TextSelection selectionAfter, List<({int character, int line})>? multiCursorsBefore, List<({int character, int line})>? multiCursorsAfter, DateTime? timestamp, })

Implementation

ReplaceOperation({
  required this.offset,
  required this.deletedText,
  required this.insertedText,
  required super.selectionBefore,
  required super.selectionAfter,
  super.multiCursorsBefore,
  super.multiCursorsAfter,
  super.timestamp,
});