public void changeExclusionFilter(long type, boolean add, boolean regenerateDisplay) {
long filter = m_FilterDoc.getExcludeFilter();
// Add or remove the given type from the exclusion filter
if (add) filter = filter | type;
else filter = filter & (~type);
m_FilterDoc.setExcludeFilter(filter);
// If asked, recompute the entire display (this is a lot of work)
if (regenerateDisplay) m_FilterDoc.regenerateDisplay();
}
public void setExclusionFilter(long type, boolean regenerateDisplay) {
m_FilterDoc.setExcludeFilter(type);
// If asked, recompute the entire display (this is a lot of work)
if (regenerateDisplay) m_FilterDoc.regenerateDisplay();
}
