// filtering things...
protected void setFilter(String text, IProgressMonitor monitor, boolean updateFilterMatcher) {
if (monitor.isCanceled()) return;
if (updateFilterMatcher) {
// just so that subclasses may already treat it.
if (fFilterMatcher.lastPattern.equals(text)) {
// no actual change...
return;
}
fFilterMatcher.setFilter(text);
if (monitor.isCanceled()) return;
}
getTreeViewer().getTree().setRedraw(false);
getTreeViewer().getTree().getParent().setRedraw(false);
try {
if (monitor.isCanceled()) return;
getTreeViewer().refresh();
if (monitor.isCanceled()) return;
getTreeViewer().expandAll();
} finally {
getTreeViewer().getTree().setRedraw(true);
getTreeViewer().getTree().getParent().setRedraw(true);
}
}
// filtering things...
protected void setFilter(String text, IProgressMonitor monitor, boolean updateFilterMatcher) {
if (monitor.isCanceled()) {
return;
}
if (updateFilterMatcher) {
// just so that subclasses may already treat it.
if (fFilterMatcher.lastPattern.equals(text)) {
// no actual change...
return;
}
fFilterMatcher.setFilter(text);
if (monitor.isCanceled()) {
return;
}
}
getViewer().refresh();
setSelectedElementChecked();
}
