method private _cb__add_opt_button_clicked = fun () -> match ask_for_a_specific_option ~parent:glade#toplevel "Option" with | None -> () | Some data -> self#add_new_option data