void (@NotNull Document document, int startOffset, int endOffset, @NotNull String s) { DocumentChangeTransaction documentChangeTransaction = getTransaction(document); if(documentChangeTransaction != null) { documentChangeTransaction.replace(startOffset, endOffset - startOffset, s, null); } }