void applyDocumentEdit( int editStart, int oldEnd, String insertedText, String fullText, ) { _documentVersion++; _isEditing = true; _version++; }