Sets the cursor position.
void setCursor(int row, int col) { _moveLineCursor(TextPosition(line: row, column: col)); _lastDocumentChange = null; _syncCoreState(); }