Beispiel #1
0
 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();
       }
     }
   }
 }
Beispiel #2
0
 public void addFilter(ViewerFilter filter) {
   labelProvider.refresh();
   tableViewer.addFilter(filter);
 }