pushRedo method

void pushRedo(
  1. List<String> lines,
  2. CursorPosition pos
)

Implementation

void pushRedo(List<String> lines, CursorPosition pos) {
  _redoStack.add(
    _UndoEntry(lines: List.of(lines), cursor: pos, group: _undoGroupCounter),
  );
}