public void refresh(boolean dirty) {
if (dirty && parent != null) parent.refresh(true);
else {
if (tableViewer != null && !tableViewer.getTable().isDisposed()) {
if (data != null && data.getChilds() != null) {
labelProvider.refresh();
tableViewer.setInput(data);
} else {
tableViewer.getTable().removeAll();
}
}
}
}
public void addFilter(ViewerFilter filter) {
labelProvider.refresh();
tableViewer.addFilter(filter);
}
