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 hide() {
if (!isShowing) return;
tablePanel.remove(currentComponent);
if (split != null) {
splitPos = split.getDividerLocation();
currentComponent = (JComponent) split.getLeftComponent();
tablePanel.add(currentComponent, BorderLayout.CENTER);
}
tablePanel.revalidate();
isShowing = false;
}
void saveState() {
table.saveState(false);
if (split != null) myPrefs.putInt("splitPos" + level, split.getDividerLocation());
}
