method up_selected = match view#selection#get_selected_rows with [] -> () | l -> let lups = List.map self#rr_of_path l in let lrr = self#content_rr in self#up_in_rr_list lups lrr