Module Gmytree (.ml)


module Gmytree: sig .. end
Editable trees

type col_desc = [ `Pixmap of string option | `String of string ] 
type col_row_contents = [ `Pixmap of GdkPixbuf.pixbuf option | `String of string ] 
class ['a] tree_edit : ?m_edit:string -> ?m_add:string -> ?m_remove:string -> ?m_close:string -> ?f_expand:'a -> bool -> f_roots:(unit -> 'a list) -> f_children:('a -> 'a list) -> ?f_edit:'a -> 'a -> ?f_add:'a option -> 'a option -> ?f_remove:'a -> bool -> ?f_close:unit -> unit -> f_contents:('a -> col_row_contents list) -> [< `Pixmap of 'b | `String of 'c ] list -> object .. end