module MenuShell: GtkMenuProps.MenuShell
val cast : 'a Gobject.obj -> Gtk.menu_shell Gtk.obj
module S:sig
..end
val append : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> unit
val prepend : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> unit
val insert : [> `menushell ] Gtk.obj -> [> `widget ] Gtk.obj -> pos:int -> unit
val deactivate : [> `menushell ] Gtk.obj -> unit