man GMenu.option_menu () - A widget used to choose from a list of valid choices

NAME

GMenu.option_menu - A widget used to choose from a list of valid choices

Class GMenu.option_menu

class option_menu : [> Gtk.option_menu ] Gtk.obj -> object end

A widget used to choose from a list of valid choices

Parameters:

([> Gtk.option_menu ] as 'a) Gtk.obj

val obj : 'a Gtk.obj

method event : GObj.event_ops

method connect : GButton.button_signals

method get_menu : GMenu.menu

method remove_menu : unit -> unit

method set_history : int -> unit

method set_menu : GMenu.menu -> unit