pushUndo method

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

Implementation

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