module GMenu:sig
..end
Menus
:[> Gtk.menu_shell ] Gtk.obj ->
object
..end
:[> Gtk.menu_item ] Gtk.obj ->
object
..end
:[> Gtk.menu_item ] Gtk.obj ->
object
..end
:[> Gtk.menu_item ] Gtk.obj ->
object
..end
The widget used for item in menus
:Gtk.menu Gtk.obj ->
object
..end
A drop down menu widget
?accel_path:string ->
?border_width:int ->
?packing:(menu -> unit) -> ?show:bool -> unit -> menu
: ?use_mnemonic:bool ->
?label:string ->
?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
: :[> Gtk.check_menu_item ] Gtk.obj ->
object
..end
:[> Gtk.check_menu_item ] Gtk.obj ->
object
..end
A menu item with a check box
?label:string ->
?use_mnemonic:bool ->
?active:bool ->
?packing:(menu_item -> unit) ->
?show:bool -> unit -> check_menu_item
: :Gtk.radio_menu_item Gtk.obj ->
object
..end
A choice from multiple check menu items
?group:Gtk.radio_menu_item Gtk.group ->
?label:string ->
?use_mnemonic:bool ->
?active:bool ->
?packing:(menu_item -> unit) ->
?show:bool -> unit -> radio_menu_item
: :[> Gtk.menu_shell ] Gtk.obj ->
object
..end
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> menu_shell
: class[#menu_shell]
factory :?accel_group:Gtk.accel_group -> ?accel_path:string -> ?accel_modi:Gdk.Tags.modifier list -> ?accel_flags:Gtk.Tags.accel_flag list -> #menu_shell as 'a ->
object
..end
A factory for menus