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