insert method

void insert(
  1. String insertion
)

Insert text at the cursor position

Implementation

void insert(String insertion) {
  final before = _text.substring(0, _cursorOffset);
  final after = _text.substring(_cursorOffset);
  _text = before + insertion + after;

  _cursorOffset += insertion.length;

  _selection = null;
  _reparse();
  notifyListeners();
}