Module Debug_protocol.Column_descriptor
module Type : sig ... endtype t={attribute_name : string;Name of the attribute rendered in this column.
label : string;Header UI label of column.
format : string option;Format to use for the rendered values in this column. TBD how the format strings looks like.
type_ : Type.t option;Datatype of values in this column. Defaults to 'string' if not specified.
width : int option;Width of this column in characters (hint only).
}A ColumnDescriptor specifies what module attribute to show in a column of the ModulesView, how to format it, and what the column's label should be. It is only used if the underlying UI actually supports this level of customization.