private void onEdgesGraphComponentChanged(EdgesGraphComponent edgesGraphComponent, boolean put) {
if (put) {
_desktopPane.putGraphComponents(new GraphComponent[] {edgesGraphComponent});
} else {
_desktopPane.removeGraphComponents(new GraphComponent[] {edgesGraphComponent});
}
_desktopPane.repaint();
}
public void repaint() {
_desktopPane.repaint();
}