private void saveState() {
		PrefManager pm = PrefManager.get();
		pm.setWindowState(frame.getExtendedState());		
		pm.setPreferredSize(frame.getRootPane().getSize());
		pm.setWindowPos(frame.getX(), frame.getY());
		pm.setDividerPos(splitPane.getDividerLocation());
		pm.setBottomDividerPos(bottomSplitPane.getDividerLocation());

		TableColumnModel columnModel = tableView.getColumnModel();
		for (int i = 0; i < columnModel.getColumnCount(); ++i) {
			pm.setTableViewColumnSize(i, columnModel.getColumn(i).getWidth());
		}

		pm.flush();
	}