method selected_row = match view#selection#get_selected_rows with [] -> None | p :: _ -> Some (store#get_iter p)