This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gData.mli

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.mli b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.mli
deleted file mode 100644 (file)
index ae7b29e..0000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-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