This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0 / gData.ml

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.ml
deleted file mode 100644 (file)
index 52aa3f1..0000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gData.ml
+++ /dev/null
@@ -1,60 +0,0 @@
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkData
-open GObj
-
-class data_signals obj = object
-  inherit gtkobj_signals obj
-  method disconnect_data =
-    GtkSignal.connect ~sgn:Data.Signals.disconnect obj ~after
-end
-
-class adjustment_signals obj = object
-  inherit data_signals obj
-  method changed = GtkSignal.connect ~sgn:Adjustment.Signals.changed obj ~after
-  method value_changed =
-    GtkSignal.connect ~sgn:Adjustment.Signals.value_changed obj ~after
-end
-
-class adjustment obj = object
-  inherit gtkobj obj
-  method as_adjustment : Gtk.adjustment obj = obj
-  method connect = new adjustment_signals obj
-  method set_value = Adjustment.set_value obj
-  method clamp_page = Adjustment.clamp_page obj
-  method lower = Adjustment.get_lower obj
-  method upper = Adjustment.get_upper obj
-  method value = Adjustment.get_value obj
-  method step_increment = Adjustment.get_step_increment obj
-  method page_increment = Adjustment.get_page_increment obj
-  method page_size = Adjustment.get_page_size obj
-end
-
-let adjustment ?(value=0.) ?(lower=0.) ?(upper=100.)
-    ?(step_incr=1.) ?(page_incr=10.) ?(page_size=10.) () =
-  let w =
-    Adjustment.create ~value ~lower ~upper ~step_incr ~page_incr ~page_size in
-  new adjustment w
-
-let as_adjustment (adj : adjustment) = adj#as_adjustment
-
-class tooltips obj = object
-  inherit gtkobj (obj : Gtk.tooltips obj)
-  method as_tooltips = obj
-  method connect = new data_signals obj
-  method enable () = Tooltips.enable obj
-  method disable () = Tooltips.disable obj
-  method set_tip ?text ?privat w =
-    Tooltips.set_tip obj (as_widget w) ?text ?privat
-  method set_delay = Tooltips.set_delay obj
-end
-
-let tooltips ?delay () =
-  let tt = Tooltips.create () in
-  Tooltips.set tt ?delay;
-  new tooltips tt
-
-
-