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());
}
void saveState() {
table.saveState(false);
if (split != null) myPrefs.putInt("splitPos" + level, split.getDividerLocation());
}
