method selected_rr = match tv#selection#get_selected_rows with | [] -> None | path :: _ -> Some (store#get_row_reference path)