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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.mli
deleted file mode 100644
index ae7b29eb5..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.mli
+++ /dev/null
@@ -1,60 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-
-class data_signals :
-  'a obj ->
-  object
-    inherit GObj.gtkobj_signals
-    constraint 'a = [>`data]
-    val obj : 'a obj
-    method disconnect_data : callback:(unit -> unit) -> GtkSignal.id
-  end
-
-class adjustment_signals :
-  'a obj ->
-  object
-    inherit data_signals
-    constraint 'a = [>`adjustment|`data]
-    val obj : 'a obj
-    method changed : callback:(unit -> unit) -> GtkSignal.id
-    method value_changed : callback:(unit -> unit) -> GtkSignal.id
-  end
-
-class adjustment : Gtk.adjustment obj ->
-  object
-    inherit GObj.gtkobj
-    val obj : Gtk.adjustment obj
-    method as_adjustment : Gtk.adjustment obj
-    method clamp_page : lower:float -> upper:float -> unit
-    method connect : adjustment_signals
-    method set_value : float -> unit
-    method lower : float
-    method upper : float
-    method value : float
-    method step_increment : float
-    method page_increment : float
-    method page_size : float
-  end
-val adjustment :
-  ?value:float ->
-  ?lower:float ->
-  ?upper:float ->
-  ?step_incr:float ->
-  ?page_incr:float -> ?page_size:float -> unit -> adjustment
-
-val as_adjustment : adjustment -> Gtk.adjustment obj
-
-class tooltips :
-  Gtk.tooltips obj ->
-  object
-    inherit GObj.gtkobj
-    val obj : Gtk.tooltips obj
-    method as_tooltips : Gtk.tooltips obj
-    method connect : data_signals
-    method disable : unit -> unit
-    method enable : unit -> unit
-    method set_delay : int -> unit
-    method set_tip : ?text:string -> ?privat:string -> GObj.widget -> unit
-  end
-val tooltips : ?delay:int -> unit -> tooltips