method delete_selected = let l = List.map self#rr_of_path view#selection#get_selected_rows in List.iter (fun rr -> ignore (store#remove rr#iter)) l