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.obj
method event : GObj.event_ops
method connect : GButton.button_signals
method get_menu : menu
method remove_menu : unit -> unit
method set_history : int -> unit
method set_menu : menu -> unit