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);
}
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();
}
}
}
}
