private void adjust_table(){
  table_model=new ViaTableModel(board_frame,resources);
  table=new JTable(table_model);
  main_panel.remove(scroll_pane);
  add_table();
  pack();
  board_frame.refresh_windows();
}

private void adjust_table ( ) { table_model = new ViaTableModel ( board_frame , resources ) ; table = new JTable ( table_model ) ; main_panel . remove ( scroll_pane ) ; add_table ( ) ; pack ( ) ; board_frame . refresh_windows ( ) ; }
adjusts the displayed window with the via table after the size of the table has been changed .
