public static ctrl_TableList set_ColumnsWidth(this ctrl_TableList tableList, params int[] widths)
 {
     return(tableList.set_ColumnsWidth(true, widths));
 }
 public static ctrl_TableList columns_Width(this ctrl_TableList tableList, params int[] widths)
 {
     return(tableList.set_ColumnsWidth(widths)
            .set_ColumnsWidth(widths));                                        // BUG: there some extra event that gets fired on the fist column which reverts it to the original size
     // the current solution is to invoke set_ColumnWidth twice
 }