Initial revision

[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
new file mode 100644 (file)
index 0000000..ae7b29e
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.mli
@@ -0,0 +1,60 @@
+(* $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