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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gButton.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gButton.mli
new file mode 100644
index 000000000..ee2653da1
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gButton.mli
@@ -0,0 +1,144 @@
+(* $Id$ *)
+
+open Gtk
+open GObj
+open GContainer
+
+class button_skel :
+  'a obj ->
+  object
+    inherit container
+    constraint 'a = [>`widget|`button|`container]
+    val obj : 'a obj
+    method clicked : unit -> unit
+    method grab_default : unit -> unit
+  end
+class button_signals :
+  'b obj ->
+  object ('a)
+    inherit container_signals
+    constraint 'b = [>`button|`container|`widget]
+    val obj : 'b obj
+    method clicked : callback:(unit -> unit) -> GtkSignal.id
+    method enter : callback:(unit -> unit) -> GtkSignal.id
+    method leave : callback:(unit -> unit) -> GtkSignal.id
+    method pressed : callback:(unit -> unit) -> GtkSignal.id
+    method released : callback:(unit -> unit) -> GtkSignal.id
+  end
+
+class button :
+  [>`button] obj ->
+  object
+    inherit button_skel
+    val obj : Gtk.button obj
+    method event : event_ops
+    method connect : button_signals
+  end
+val button :
+  ?label:string ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> button
+
+class toggle_button_signals :
+  'b obj ->
+  object ('a)
+    inherit button_signals
+    constraint 'b = [>`toggle|`button|`container|`widget]
+    val obj : 'b obj
+    method toggled : callback:(unit -> unit) -> GtkSignal.id
+  end
+
+class toggle_button :
+  'a obj ->
+  object
+    inherit button_skel
+    constraint 'a = [>`toggle|`button|`container|`widget]
+    val obj : 'a obj
+    method active : bool
+    method connect : toggle_button_signals
+    method set_active : bool -> unit
+    method set_draw_indicator : bool -> unit
+  end
+val toggle_button :
+  ?label:string ->
+  ?active:bool ->
+  ?draw_indicator:bool ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
+val check_button :
+  ?label:string ->
+  ?active:bool ->
+  ?draw_indicator:bool ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> toggle_button
+
+class radio_button :
+  Gtk.radio_button obj ->
+  object
+    inherit toggle_button
+    val obj : Gtk.radio_button obj
+    method group : Gtk.radio_button group
+    method set_group : Gtk.radio_button group -> unit
+  end
+val radio_button :
+  ?group:Gtk.radio_button group ->
+  ?label:string ->
+  ?active:bool ->
+  ?draw_indicator:bool ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> radio_button
+
+class toolbar :
+  Gtk.toolbar obj ->
+  object
+    inherit container_full
+    val obj : Gtk.toolbar obj
+    method button_relief : Tags.relief_style
+    method insert_button :
+      ?text:string ->
+      ?tooltip:string ->
+      ?tooltip_private:string ->
+      ?icon:widget ->
+      ?pos:int -> ?callback:(unit -> unit) -> unit -> button
+    method insert_radio_button :
+      ?text:string ->
+      ?tooltip:string ->
+      ?tooltip_private:string ->
+      ?icon:widget ->
+      ?pos:int -> ?callback:(unit -> unit) -> unit -> radio_button
+    method insert_space : ?pos:int -> unit -> unit
+    method insert_toggle_button :
+      ?text:string ->
+      ?tooltip:string ->
+      ?tooltip_private:string ->
+      ?icon:widget ->
+      ?pos:int -> ?callback:(unit -> unit) -> unit -> toggle_button
+    method insert_widget :
+      ?tooltip:string ->
+      ?tooltip_private:string -> ?pos:int -> widget -> unit
+    method set_button_relief : Tags.relief_style -> unit
+    method set_orientation : Tags.orientation -> unit
+    method set_space_size : int -> unit
+    method set_space_style : [`EMPTY|`LINE] -> unit
+    method set_style : Tags.toolbar_style -> unit
+    method set_tooltips : bool -> unit
+  end
+val toolbar :
+  ?orientation:Tags.orientation ->
+  ?style:Tags.toolbar_style ->
+  ?space_size:int ->
+  ?space_style:[`EMPTY|`LINE] ->
+  ?tooltips:bool ->
+  ?button_relief:Tags.relief_style ->
+  ?border_width:int ->
+  ?width:int ->
+  ?height:int ->
+  ?packing:(widget -> unit) -> ?show:bool -> unit -> toolbar