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_shellclass[#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