sourceTree.setShowDataNodesOnly(treeMapper.m_sourceTreeComponent.isShowDataNodesOnly());
updateHiddenNodes();
}
private void updateHiddenNodes() {
NodeVisibilityFilter filter = treeMapper.m_sourceTreeComponent.getFilterForFormulaBuilder(sourceTree);
sourceTree.setNodeVisibilityFilter(filter);
sourceTree.updateHiddenNodes();
}