([> Gtk.menu_item ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method activate : unit -> unit
method add : GObj.widget -> unit
method add_accelerator :
group:Gtk.accel_group ->
?modi:Gdk.Tags.modifier list ->
?flags:Gtk.Tags.accel_flag list -> Gdk.keysym -> unit
method all_children : GObj.widget list
method as_item : Gtk.menu_item Gtk.obj
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method children : GObj.widget list
method coerce : GObj.widget
method deselect : unit -> unit
method destroy : unit -> unit
method drag : GObj.drag_ops
method focus : GContainer.focus
method get_oid : int
method get_submenu : GObj.widget option
method misc : GObj.misc_ops
method remove : GObj.widget -> unit
method remove_submenu : unit -> unit
method resize_mode : Gtk.Tags.resize_mode
method right_justified : bool
method select : unit -> unit
method set_border_width : int -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_right_justified : bool -> unit
method set_submenu : GMenu.menu -> unit
end