:Gtk.menu Gtk.obj ->
object
..end
A drop down menu widget
val obj : Gtk.menu Gtk.obj
method add : menu_item -> unit
method event : GObj.event_ops
method append : menu_item -> unit
Gtk.menu Gtk.obj
: method children : menu_item list
method connect : menu_shell_signals
method deactivate : unit -> unit
method insert : menu_item -> pos:int -> unit
method popdown : unit -> unit
method popup : button:int -> time:int32 -> unit
method prepend : menu_item -> unit
method remove : menu_item -> unit
method set_accel_group : Gtk.accel_group -> unit
method set_accel_path : string -> unit
method set_border_width : int -> unit
method private wrap : Gtk.widget Gtk.obj -> menu_item