-(* $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