} // FOR
//
// BOTTOM: Table Selection
//
final TableListPanel tableSelectionPanel = new TableListPanel();
tableSelectionPanel.getSelectionModel().addListSelectionListener(new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
String table_key = tableSelectionPanel.getSelectedTable();
updateTableStatsPanel(table_key);
}
});
tableSelectionPanel.setTables(args.catalog_db.getTables());
this.tableStatsWrapperPanel = new JPanel(new BorderLayout());
this.tableStatsWrapperPanel.add(firstPanel, BorderLayout.CENTER);
JSplitPane splitPane = new JSplitPane(JSplitPane.VERTICAL_SPLIT, this.tableStatsWrapperPanel, tableSelectionPanel);
splitPane.setDividerLocation(500);
tableSelectionPanel.getSelectionModel().setSelectionInterval(0, 0);
// ----------------------------------------------
// TABBED PANE
// ----------------------------------------------
JTabbedPane tabbedPane = new JTabbedPane();