Module Gmytree

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 : ?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