Swing/HeaderRatio のバックアップ(No.17)

private void setTableHeaderColumnRaito() {
  int[] list = getWidthRaitoArray();
  //System.out.println("a: "+table.getColumnModel().getTotalColumnWidth());
  //System.out.println("b: "+table.getSize().width);
  int total = table.getSize().width; //table.getColumnModel().getTotalColumnWidth();
  int raito = total/getRaitoTotal(list);
  for(int i=0;i<table.getColumnModel().getColumnCount()-1;i++) {
    TableColumn col = table.getColumnModel().getColumn(i);
    int colwidth = list[i]*raito;
    col.setPreferredWidth(colwidth); //col.setMaxWidth(colwidth);
    total -= colwidth;
  }
  table.getColumnModel().getColumn(
    table.getColumnModel().getColumnCount()-1).setPreferredWidth(total);
  //table.getColumnModel().getColumnCount()-1).setMaxWidth(total);
  table.revalidate();
}

private void setRaito() {
  int[] list = getWidthRaitoArray();
  int total = getTotalColumnWidth(table);
  int raito = total/getRaitoTotal(table, list);
  for(int i=0;i<table.getColumnModel().getColumnCount()-1;i++) {
    TableColumn col = table.getColumnModel().getColumn(i);
    int colwidth = list[i]*raito;
    col.setMaxWidth(colwidth);
    total = total - colwidth;
  }
  //最後のカラムで誤差を吸収
  table.getColumnModel().getColumn(
    table.getColumnModel().getColumnCount()-1).setMaxWidth(total);
  table.revalidate();
}