@Override
  public void tellSearchIsStopped(long curPageNumber) {
    callScheduledUpdate();

    if (!myEdtRangeSearchEventsListeners.isEmpty()) {
      if (inBackground) {
        ApplicationManager.getApplication().invokeLater(() -> {
          fireSearchStopped();
        });
      }
      else {
        fireSearchStopped();
      }
    }
  }
@Override
  public void tellSearchIsStopped(long curPageNumber)