method private _cb__add_ty_button_clicked = fun () -> match ask_for_a_specific_option ~parent:glade#toplevel "Type" with | None -> () | Some (db, ty) -> self#add_new_spec_type db ty