class option_menu :A widget used to choose from a list of valid choices[> Gtk.option_menu ] Gtk.obj ->object..end
val obj : ([> Gtk.option_menu ] as 'a) Gtk.objmethod event : GObj.event_opsmethod connect : GButton.button_signals : menu : unit -> unitmethod set_history : int -> unit : menu -> unit