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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.ml
deleted file mode 100644
index 7df53ced1..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.ml
+++ /dev/null
@@ -1,83 +0,0 @@
-(* $Id$ *)
-
-open Gaux
-open Gtk
-open GtkBase
-open GtkRange
-open GObj
-
-class progress obj = object
-  inherit widget_full obj
-  method set_adjustment adj =
-    Progress.set_adjustment obj (GData.as_adjustment adj)
-  method set_show_text = Progress.set_show_text obj
-  method set_format_string = Progress.set_format_string obj
-  method set_text_alignment = Progress.set_text_alignment obj
-  method set_activity_mode = Progress.set_activity_mode obj
-  method set_value = Progress.set_value obj
-  method set_percentage = Progress.set_percentage obj
-  method configure = Progress.configure obj
-  method value = Progress.get_value obj
-  method percentage = Progress.get_percentage obj
-  method current_text = Progress.get_current_text obj
-  method adjustment = new GData.adjustment (Progress.get_adjustment obj)
-end
-
-class progress_bar obj = object
-  inherit progress (obj : Gtk.progress_bar obj)
-  method event = new GObj.event_ops obj
-  method set_bar_style = ProgressBar.set_bar_style obj
-  method set_discrete_blocks = ProgressBar.set_discrete_blocks obj
-  method set_activity_step = ProgressBar.set_activity_step obj
-  method set_activity_blocks = ProgressBar.set_activity_blocks obj
-  method set_orientation = ProgressBar.set_orientation obj
-end
-
-let progress_bar ?adjustment ?bar_style ?discrete_blocks
-    ?activity_step ?activity_blocks ?value ?percentage ?activity_mode
-    ?show_text ?format_string ?text_xalign ?text_yalign
-    ?packing ?show () =
-  let w =
-    match adjustment with None -> ProgressBar.create ()
-    | Some adj ->
-	ProgressBar.create_with_adjustment (GData.as_adjustment adj)
-  in
-  ProgressBar.set w ?bar_style ?discrete_blocks
-    ?activity_step ?activity_blocks;
-  Progress.set w ?value ?percentage ?activity_mode
-    ?show_text ?format_string ?text_xalign ?text_yalign;
-  pack_return (new progress_bar w) ~packing ~show
-
-class range obj = object
-  inherit widget_full obj
-  method adjustment = new GData.adjustment (Range.get_adjustment obj)
-  method set_adjustment adj =
-    Range.set_adjustment obj (GData.as_adjustment adj)
-  method set_update_policy = Range.set_update_policy obj
-end
-
-class scale obj = object
-  inherit range (obj : Gtk.scale obj)
-  method set_digits = Scale.set_digits obj
-  method set_draw_value = Scale.set_draw_value obj
-  method set_value_pos = Scale.set_value_pos obj
-end
-
-let scale dir ?adjustment ?digits ?draw_value ?value_pos
-    ?packing ?show () =
-  let w =
-    Scale.create dir ?adjustment:(may_map ~f:GData.as_adjustment adjustment)
-  in
-  let () = Scale.set w ?digits ?draw_value ?value_pos in
-  pack_return (new scale w) ~packing ~show
-
-class scrollbar obj = object
-  inherit range (obj : Gtk.scrollbar obj)
-  method event = new GObj.event_ops obj
-end
-
-let scrollbar dir ?adjustment ?update_policy ?packing ?show () =
-  let w = Scrollbar.create dir
-      ?adjustment:(may_map ~f:GData.as_adjustment adjustment) in
-  let () = may update_policy ~f:(Range.set_update_policy w) in
-  pack_return (new scrollbar w) ~packing ~show