ResourceSelectionTree.java 文件源码

private void refresh() {
    Object[] checkedElements = null;
    if (checkbox) checkedElements = ((CheckboxTreeViewer)treeViewer).getCheckedElements();
    treeViewer.refresh();
    treeViewer.expandAll();
    if (checkbox) ((CheckboxTreeViewer)treeViewer).setCheckedElements(checkedElements);
}