method update =
(
match selection with
None -> ()
| Some v ->
selection <- None ;
self#unselect v
);
store#clear ();
let roots = f_roots () in
List.iter (self#insert ?parent: None) (List.rev roots)