public table_column(table_column val)
{
left = val.left;
right = val.right;
border_left = val.border_left;
border_right = val.border_right;
max_width = val.max_width;
min_width = val.min_width;
width = val.width;
css_width = val.css_width;
}
public void set(table_column col, int value) => col.width = value;
public int get(table_column col) => col.width;
