method update =
      (
       match selection with
         None -> ()
       | Some dir ->
           selection <- None ;
           self#unselect_dir dir
      );
      store#clear ();
      List.iter (self#insert_node "") behav#roots