module MAKE_CUSTOM_LIST:A functor to build custom Gtk lists. It may be part of a future lablgtk release. Do not change anything without changing lablgtk svn.
Parameters: |
|
type
custom_list = {
|
finfo : |
|
fidx : |
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 ->
('a, 'b) #GTree.cell_renderer_skel ->
(A.t -> 'b list) -> title:string -> GTree.view_column