@Override
  @RequiresEdt
  protected void onBeforeDocumentChange(@NotNull DocumentEvent e) {
    super.onBeforeDocumentChange(e);
    if (myInitialRediffFinished) myContentModified = true;
  }
@Override
  @RequiresEdt
  protected void onBeforeDocumentChange(@NotNull DocumentEvent e)