hierarchy.addProperty("filterPaths", oldPaths);
}
if (oldAliasFormat == null) {
hierarchy.removeProperty("aliasFormat");
} else {
hierarchy.addProperty("aliasFormat", oldAliasFormat);
}
updateHierarchy(hierarchy);
}
public void proceed(boolean state) {
proceedUpdateHierarchy(hierWidget, loadInfo);