man GMenu.menu () - A drop down menu widget

NAME

GMenu.menu - A drop down menu widget

Class GMenu.menu

class menu : Gtk.menu Gtk.obj -> object end

A drop down menu widget

Parameters:

Gtk.menu Gtk.obj

val obj : Gtk.menu Gtk.obj

method add : GMenu.menu_item -> unit

method event : GObj.event_ops

method append : GMenu.menu_item -> unit

method as_menu : Gtk.menu Gtk.obj

method children : GMenu.menu_item list

method connect : GMenu.menu_shell_signals

method deactivate : unit -> unit

method insert : GMenu.menu_item -> pos:int -> unit

method popdown : unit -> unit

method popup : button:int -> time:int32 -> unit

method prepend : GMenu.menu_item -> unit

method remove : GMenu.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 -> GMenu.menu_item