/// <summary>Creates a column definition object with metric values.</summary>
 /// <param name="tlm">Table layout manager of this column</param>
 /// <param name="sHeader">Header of the column</param>
 /// <param name="rWidthMM">Width of the column</param>
 public ColumnMM(TableLayoutManager tlm, String sHeader, Double rWidthMM)
     : base(tlm, sHeader, RT.rPointFromMM(rWidthMM))
 {
 }
 //----------------------------------------------------------------------------------------------------x
 /// <summary>Creates a column definition object.</summary>
 /// <param name="tlm">Table layout manager of this column</param>
 /// <param name="sHeader">Header of the column</param>
 /// <param name="rWidth">Width of the column</param>
 public Column(TableLayoutManager tlm, String sHeader, Double rWidth) : base(tlm, sHeader, rWidth)
 {
 }