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