Module Gtk_helper.MAKE_CUSTOM_LIST

A functor to build custom Gtk lists. You'll probably prefer to use the highlevel custom models in the next module named Custom.List. It may be part of a future lablgtk release. Do not change anything without changing lablgtk svn.

Parameters

module A : sig ... end

Signature

type custom_list = {
finfo : A.t;
fidx : int;
}
val inbound : int -> 'a array -> bool
class custom_list_class : GTree.column_list -> object ... end
val custom_list : unit -> custom_list_class
val make_view_column : custom_list_class -> [ 'b, 'a ] GTree.cell_renderer_skel -> ( A.t -> 'a list ) -> title:string -> GTree.view_column