method private _cb__selection_changed = fun view buttons () -> let sth_selected = view.st_view#selection#get_selected_rows <> [] in List.iter (fun b -> b#misc#set_sensitive sth_selected) buttons