sig
class type ['a] model =
object
method get : int -> 'a
method index : 'a -> int
method reload : unit
method size : int
end
class ['a] view :
?packing:(GObj.widget -> unit) ->
?width:int ->
?height:int ->
?headers:bool ->
?rules:bool ->
'a Gtk_helper.Custom.List.model ->
object
method add_column_empty : unit
method add_column_pixbuf : ('a, GTree.cell_properties_pixbuf) column
method add_column_text : ('a, GTree.cell_properties_text) column
method add_column_toggle : ('a, GTree.cell_properties_toggle) column
method coerce : GObj.widget
method count_selected : int
method insert_row : 'a -> unit
method is_selected : 'a -> bool
method iter_selected : ('a -> unit) -> unit
method on_click : ('a -> GTree.view_column -> unit) -> unit
method on_double_click : ('a -> GTree.view_column -> unit) -> unit
method on_right_click : ('a -> GTree.view_column -> unit) -> unit
method on_selection : (unit -> unit) -> unit
method pack : (GObj.widget -> unit) -> unit
method reload : unit
method scroll : GBin.scrolled_window
method set_focus : 'a -> GTree.view_column -> unit
method set_selection_mode : Gtk.Tags.selection_mode -> unit
method update_all : unit
method update_row : 'a -> unit
method view : GTree.view
end
end