--- /dev/null
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class menu_shell_signals : 'b obj ->
+ object ('a)
+ inherit container_signals
+ constraint 'b = [>`menushell|`container|`widget]
+ val obj : 'b obj
+ method deactivate : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class menu_item_signals : 'b obj ->
+ object ('a)
+ inherit item_signals
+ constraint 'b = [>`menuitem|`container|`item|`widget]
+ val obj : 'b obj
+ method activate : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class menu_item_skel :
+ 'a obj ->
+ object
+ inherit container
+ constraint 'a = [>`widget|`container|`menuitem]
+ val obj : 'a obj
+ method activate : unit -> unit
+ method add_accelerator :
+ group:accel_group ->
+ ?modi:Gdk.Tags.modifier list ->
+ ?flags:Tags.accel_flag list -> Gdk.keysym -> unit
+ method as_item : Gtk.menu_item obj
+ method configure : show_toggle:bool -> show_indicator:bool -> unit
+ method remove_submenu : unit -> unit
+ method right_justify : unit -> unit
+ method set_submenu : menu -> unit
+ end
+and menu_item : 'a obj ->
+ object
+ inherit menu_item_skel
+ constraint 'a = [>`widget|`container|`item|`menuitem]
+ val obj : 'a obj
+ method event : event_ops
+ method connect : menu_item_signals
+ end
+and menu : Gtk.menu obj ->
+ object
+ inherit [menu_item] item_container
+ val obj : Gtk.menu obj
+ method add : menu_item -> unit
+ method event : event_ops
+ method append : menu_item -> unit
+ method as_menu : Gtk.menu obj
+ method children : menu_item list
+ method connect : menu_shell_signals
+ method deactivate : unit -> unit
+ method insert : menu_item -> pos:int -> unit
+ method popdown : unit -> unit
+ method popup : button:int -> time:int -> unit
+ method prepend : menu_item -> unit
+ method remove : menu_item -> unit
+ method set_accel_group : accel_group -> unit
+ method set_border_width : int -> unit
+ method private wrap : Gtk.widget obj -> menu_item
+ end
+
+val menu :
+ ?border_width:int -> ?packing:(menu -> unit) -> ?show:bool -> unit -> menu
+val menu_item :
+ ?label:string ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
+val tearoff_item :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(menu_item -> unit) -> ?show:bool -> unit -> menu_item
+
+class check_menu_item_signals : 'a obj ->
+ object
+ inherit menu_item_signals
+ constraint 'a = [>`checkmenuitem|`container|`item|`menuitem|`widget]
+ val obj : 'a obj
+ method toggled : callback:(unit -> unit) -> GtkSignal.id
+ end
+
+class check_menu_item : 'a obj ->
+ object
+ inherit menu_item_skel
+ constraint 'a = [>`widget|`checkmenuitem|`container|`item|`menuitem]
+ val obj : 'a obj
+ method active : bool
+ method event : event_ops
+ method connect : check_menu_item_signals
+ method set_active : bool -> unit
+ method set_show_toggle : bool -> unit
+ method toggled : unit -> unit
+ end
+val check_menu_item :
+ ?label:string ->
+ ?active:bool ->
+ ?show_toggle:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(menu_item -> unit) -> ?show:bool -> unit -> check_menu_item
+
+class radio_menu_item : Gtk.radio_menu_item obj ->
+ object
+ inherit check_menu_item
+ val obj : Gtk.radio_menu_item obj
+ method group : Gtk.radio_menu_item group
+ method set_group : Gtk.radio_menu_item group -> unit
+ end
+val radio_menu_item :
+ ?group:Gtk.radio_menu_item group ->
+ ?label:string ->
+ ?active:bool ->
+ ?show_toggle:bool ->
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(menu_item -> unit) -> ?show:bool -> unit -> radio_menu_item
+
+class menu_shell : 'a obj ->
+ object
+ inherit [menu_item] item_container
+ constraint 'a = [>`widget|`container|`menushell]
+ val obj : 'a obj
+ method event : event_ops
+ method deactivate : unit -> unit
+ method connect : menu_shell_signals
+ method insert : menu_item -> pos:int -> unit
+ method private wrap : Gtk.widget obj -> menu_item
+ end
+
+val menu_bar :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> menu_shell
+
+class option_menu : 'a obj ->
+ object
+ inherit GButton.button_skel
+ constraint 'a = [>`optionmenu|`button|`container|`widget]
+ val obj : 'a obj
+ method event : event_ops
+ method connect : GButton.button_signals
+ method get_menu : menu
+ method remove_menu : unit -> unit
+ method set_history : int -> unit
+ method set_menu : menu -> unit
+ end
+val option_menu :
+ ?border_width:int ->
+ ?width:int ->
+ ?height:int ->
+ ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> option_menu
+
+class ['a] factory :
+ ?accel_group:accel_group ->
+ ?accel_modi:Gdk.Tags.modifier list ->
+ ?accel_flags:Tags.accel_flag list ->
+ 'a ->
+ object
+ constraint 'a = #menu_shell
+ val flags : Tags.accel_flag list
+ val group : accel_group
+ val m : Gdk.Tags.modifier list
+ val menu_shell : 'a
+ method accel_group : accel_group
+ method add_check_item :
+ ?active:bool ->
+ ?key:Gdk.keysym ->
+ ?callback:(bool -> unit) -> string -> check_menu_item
+ method add_item :
+ ?key:Gdk.keysym ->
+ ?callback:(unit -> unit) ->
+ ?submenu:menu -> string -> menu_item
+ method add_radio_item :
+ ?group:Gtk.radio_menu_item group ->
+ ?active:bool ->
+ ?key:Gdk.keysym ->
+ ?callback:(bool -> unit) -> string -> radio_menu_item
+ method add_separator : unit -> menu_item
+ method add_submenu : ?key:Gdk.keysym -> string -> menu
+ method add_tearoff : unit -> menu_item
+ method private bind :
+ ?key:Gdk.keysym -> ?callback:(unit -> unit) -> menu_item -> unit
+ method menu : 'a
+ end
projects / helm.git / blobdiff