@Override
public void removeAll() {
synchronized (this) {
fElementsToParticipants.clear();
}
super.removeAll();
}
@Override
public void removeMatch(Match match) {
synchronized (this) {
if (getMatchCount(match.getElement()) == 1)
fElementsToParticipants.remove(match.getElement());
}
super.removeMatch(match);
}
/* (non-Javadoc)
* @see org.eclipse.search.ui.text.AbstractTextSearchResult#setMatchFilters(org.eclipse.search.ui.text.MatchFilter[])
*/
@Override
public void setActiveMatchFilters(MatchFilter[] filters) {
super.setActiveMatchFilters(filters);
JavaMatchFilter.setLastUsedFilters(filters);
}
