}
private void updateTableStatsPanel(String table_key) {
if (table_key == null || table_key.equals(last_table_key)) return;
if (this.last_table_key != null) {
TableStatsPanel old_panel = this.tableStatsPanels.get(this.last_table_key);
old_panel.setEnabled(false);
old_panel.setVisible(false);
}
TableStatsPanel new_panel = this.tableStatsPanels.get(table_key);
new_panel.setEnabled(true);
new_panel.setVisible(true);
this.tableStatsWrapperPanel.add(new_panel, BorderLayout.CENTER);
this.tableStatsWrapperPanel.revalidate();
this.last_table_key = table_key;
}