class menu : Gtk.menu Gtk.obj -> object .. end
A drop down menu widget
GTK documentation: GtkMenu
Inherits
val obj : Gtk.menu Gtk.obj
method add : menu_item -> unit
method event : GObj.event_ops
method append : menu_item -> unit
method as_menu : 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