class type ['a]
tree_behaviour = object
.. end
Inherits
method expand_dir : string -> bool
expand the given directory or not
method add_expanded_dir : string -> unit
set the given directory as expanded
method remove_expanded_dir : string -> unit
remove the given directory as expanded
method update_element : 'a -> unit
add or update element
method t_of_cvs_info : Ocvs_types.cvs_info -> 'a
method roots : string list
root directories
method menu_ctx : string option -> GToolbox.menu_entry list
to get the contextual menu, depending on the selected directory
method select : string -> unit
to call when a directory is selected
method unselect : string -> unit
to call when a directory is unselected