private void onEdgesGraphComponentChanged(EdgesGraphComponent edgesGraphComponent, boolean put) {
if (put) {
_desktopPane.putGraphComponents(new GraphComponent[] {edgesGraphComponent});
} else {
_desktopPane.removeGraphComponents(new GraphComponent[] {edgesGraphComponent});
}
_desktopPane.repaint();
}
public void removeConstraintViews(ConstraintView[] constraintViews, boolean keepFoldingPoints) {
_desktopPane.removeGraphComponents(constraintViews);
if (false == keepFoldingPoints) {
for (int i = 0; i < constraintViews.length; i++) {
constraintViews[i].removeAllFoldingPoints();
}
}
}
