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