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