private void setViewActive(boolean flag) {
if (flag == viewActive) return;
viewActive = flag;
if (flag) {
geoTree.clear();
kernel.attach(geoTree);
// // only add objects if there are less than 200
// int geoSize = kernel.getConstruction().getGeoSetConstructionOrder().size();
// if (geoSize < MAX_OBJECTS_IN_TREE)
kernel.notifyAddAll(geoTree);
app.setSelectionListenerMode(this);
addWindowFocusListener(this);
} else {
kernel.detach(geoTree);
removeWindowFocusListener(this);
app.setSelectionListenerMode(null);
}
}
public void attachView() {
clearView();
kernel.notifyAddAll(this);
kernel.attach(this);
attached = true;
}
