private void hideNestedTable(int level) {
int n = nestedTableList.size();
for (int i = n - 1; i >= level; i--) {
NestedTable ntable = nestedTableList.get(i);
ntable.hide();
}
}
public void save() {
dumpPane.save();
for (NestedTable nt : nestedTableList) {
nt.saveState();
}
prefs.putBeanObject("InfoWindowBounds", infoWindow.getBounds());
prefs.putBeanObject("DumpWindowBounds", dumpWindow.getBounds());
if (attWindow != null) prefs.putBeanObject("AttWindowBounds", attWindow.getBounds());
prefs.putInt("mainSplit", mainSplit.getDividerLocation());
}
private NestedTable setNestedTable(int level, Structure s) {
NestedTable ntable;
if (nestedTableList.size() < level + 1) {
ntable = new NestedTable(level);
nestedTableList.add(ntable);
} else {
ntable = nestedTableList.get(level);
}
if (s != null) // variables inside of records
ntable.table.setBeans(getStructureVariables(s));
ntable.show();
return ntable;
}
private void setSelected(Variable v) {
eventsOK = false;
List<Variable> vchain = new ArrayList<Variable>();
vchain.add(v);
Variable vp = v;
while (vp.isMemberOfStructure()) {
vp = vp.getParentStructure();
vchain.add(0, vp); // reverse
}
for (int i = 0; i < vchain.size(); i++) {
vp = vchain.get(i);
NestedTable ntable = setNestedTable(i, vp.getParentStructure());
ntable.setSelected(vp);
}
eventsOK = true;
}
