void (@NotNull DocumentEvent e) { if (isUpToDate()) { DocumentEventImpl inverse = new DocumentEventImpl(originalDocument, e.getOffset(), e.getNewFragment(), e.getOldFragment(), 0, false, e.getOffset(), e.getNewFragment().length(), e.getOffset()); sinceCommit.add(inverse); } }