private void applyFilteredRevisions(Set<Long> revisions) {
    boolean wasEmpty = myRevisionsList.isEmpty();
    myRevisionsList.setFilteredRevisions(revisions);
    if (wasEmpty != myRevisionsList.isEmpty()) {
      myForceUpdateDiff = true;
    }
    updateEditorSearch();
  }
private void applyFilteredRevisions(Set<Long> revisions)