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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gButton.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gButton.mli
deleted file mode 100644
index ee2653da1..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gButton.mli
+++ /dev/null
@@ -1,144 +0,0 @@
-(* $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