method add_option value = let child = new AXOWidgets.common_wrap (AXOHtml.High.option (string_of_t value) ) in option_list <- ( child, value ) :: option_list ; self # add_common child ;