`([> Gtk.menu_shell ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method add : GMenu.menu_item -> unit
method all_children : GMenu.menu_item list
method append : GMenu.menu_item -> unit
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 prepend : GMenu.menu_item -> unit
method remove : GMenu.menu_item -> unit
method resize_mode : Gtk.Tags.resize_mode
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`