Initial revision

[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gRange.ml

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gRange.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gRange.ml
new file mode 100644 (file)
index 0000000..7df53ce
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gRange.ml
@@ -0,0 +1,83 @@
+(* $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