void (@NotNull DocumentEvent event) { if (!myRangeMarker.isValid()) return; if (!myDocument1.isWritable()) return; CharSequence newText = event.getNewFragment(); int originalOffset = event.getOffset() + myRangeMarker.getStartOffset(); int originalEnd = originalOffset + event.getOldLength(); replaceString(myDocument1, originalOffset, originalEnd, newText); }