public void mouseReleased(MouseEvent e){
  if (!marginChanged)   return;
  TableColumnModel tcm=table.getColumnModel();
  for (int i=0; i < tcm.getColumnCount(); i++) {
    LimeTableColumn ltc=(LimeTableColumn)tcm.getColumn(i);
    setWidth(ltc,ltc.getWidth());
  }
  marginChanged=false;
  save();
}

public void mouseReleased ( MouseEvent e ) { if ( ! marginChanged ) return ; TableColumnModel tcm = table . getColumnModel ( ) ; for ( int i = 0 ; i < tcm . getColumnCount ( ) ; i ++ ) { LimeTableColumn ltc = ( LimeTableColumn ) tcm . getColumn ( i ) ; setWidth ( ltc , ltc . getWidth ( ) ) ; } marginChanged = false ; save ( ) ; }
the mouse released from the table header .
