private void replaceString(
Document document,
int startOffset,
int endOffset,
String s,
@Nullable PsiElement replacement) {
final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
if (documentChangeTransaction != null) {
documentChangeTransaction.replace(startOffset, endOffset - startOffset, s, replacement);
}
}
private void deleteString(Document document, int startOffset, int endOffset) {
final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
if (documentChangeTransaction != null) {
documentChangeTransaction.replace(startOffset, endOffset - startOffset, "");
}
}
public void insertString(Document document, int offset, String s) {
final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
if (documentChangeTransaction != null) {
documentChangeTransaction.replace(offset, 0, s);
}
}
public void replaceString(Document document, int startOffset, int endOffset, String s) {
final DocumentChangeTransaction documentChangeTransaction = getTransaction(document);
if (documentChangeTransaction != null) {
documentChangeTransaction.replace(startOffset, endOffset - startOffset, s);
}
}