X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgMenu.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0%2FgMenu.mli;h=505249bead31542799f4c21a3d98b0df99d0cdfd;hb=2ee84a2a641938988703e329aef9fc3c5eb5aacf;hp=0000000000000000000000000000000000000000;hpb=34d83812af9b7064cc8f735c2a78169881140010;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMenu.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMenu.mli
new file mode 100644
index 000000000..505249bea
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gMenu.mli
@@ -0,0 +1,196 @@
+(* $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