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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gData.ml
deleted file mode 100644
index 52aa3f1f4..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-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
-
-
-