public void refresh(boolean dirty) {
   String text = shell.getText();
   if (text.indexOf("*") == -1) text = "*" + text;
   shell.setText(text);
   if (dirty) {
     mParentViewer.refresh(true);
   }
   baseCompositeMapPage.refresh(false);
 }
Beispiel #2
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();
       }
     }
   }
 }