Gtk.menu Gtk.obj ->
object
  val obj : Gtk.menu Gtk.obj
  method add : GMenu.menu_item -> unit
  method all_children : GMenu.menu_item list
  method append : GMenu.menu_item -> unit
  method as_menu : Gtk.menu Gtk.obj
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method children : GMenu.menu_item list
  method coerce : GObj.widget
  method connect : GMenu.menu_shell_signals
  method deactivate : unit -> unit
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method event : GObj.event_ops
  method focus : GContainer.focus
  method get_oid : int
  method insert : GMenu.menu_item -> pos:int -> unit
  method misc : GObj.misc_ops
  method popdown : unit -> unit
  method popup : button:int -> time:int32 -> unit
  method prepend : GMenu.menu_item -> unit
  method remove : GMenu.menu_item -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method set_accel_group : Gtk.accel_group -> unit
  method set_accel_path : string -> unit
  method set_border_width : int -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method private wrap : Gtk.widget Gtk.obj -> GMenu.menu_item
end