unit ->
object
  val mutable selection : string option
  method box : GPack.box
  method col_complete : string GTree.column
  method col_display : string GTree.column
  method dir_string : string -> string
  method expand_dir : string -> bool
  method init_col_display :
    col_display:GTree.view_column ->
    complete:string GTree.column ->
    renderer:GTree.cell_renderer_text -> GTree.tree_store -> unit
  method insert_node : ?parent:Gtk.tree_iter -> string -> string -> unit
  method menu_ctx : string option -> GToolbox.menu_entry list
  method on_collapse_dir : string -> unit
  method on_expand_dir : string -> unit
  method on_select_dir : string -> unit
  method on_unselect_dir : string -> unit
  method roots : string list
  method row_inserted : Gtk.tree_iter -> string -> unit
  method select_dir : string -> unit
  method selection : string option
  method subdirs : string -> string list
  method unselect_dir : string -> unit
  method update : unit
  method update_selected_dir : unit
  method view : GTree.view
end