helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gRange.mli

   1 (* $Id$ *)
   2
   3 open Gtk
   4 open GObj
   5
   6 class progress : 'a obj ->
   7   object
   8     inherit widget_full
   9     constraint 'a = [>`progress|`widget]
  10     val obj : 'a obj
  11     method adjustment : GData.adjustment
  12     method configure : current:float -> min:float -> max:float -> unit
  13     method current_text : string
  14     method percentage : float
  15     method set_activity_mode : bool -> unit
  16     method set_adjustment : GData.adjustment -> unit
  17     method set_format_string : string -> unit
  18     method set_percentage : float -> unit
  19     method set_show_text : bool -> unit
  20     method set_text_alignment : ?x:float -> ?y:float -> unit -> unit
  21     method set_value : float -> unit
  22     method value : float
  23   end
  24
  25 class progress_bar : Gtk.progress_bar obj ->
  26   object
  27     inherit progress
  28     val obj : Gtk.progress_bar obj
  29     method event : event_ops
  30     method set_activity_blocks : int -> unit
  31     method set_activity_step : int -> unit
  32     method set_bar_style : [`CONTINUOUS|`DISCRETE] -> unit
  33     method set_discrete_blocks : int -> unit
  34     method set_orientation : Tags.progress_bar_orientation -> unit
  35   end
  36 val progress_bar :
  37   ?adjustment:GData.adjustment ->
  38   ?bar_style:[`CONTINUOUS|`DISCRETE] ->
  39   ?discrete_blocks:int ->
  40   ?activity_step:int ->
  41   ?activity_blocks:int ->
  42   ?value:float ->
  43   ?percentage:float ->
  44   ?activity_mode:bool ->
  45   ?show_text:bool ->
  46   ?format_string:string ->
  47   ?text_xalign:float ->
  48   ?text_yalign:float ->
  49   ?packing:(widget -> unit) -> ?show:bool -> unit -> progress_bar
  50
  51 class range : 'a obj ->
  52   object
  53     inherit widget_full
  54     constraint 'a = [>`range|`widget]
  55     val obj : 'a obj
  56     method adjustment : GData.adjustment
  57     method set_adjustment : GData.adjustment -> unit
  58     method set_update_policy : Tags.update_type -> unit
  59   end
  60
  61 class scale : Gtk.scale obj ->
  62   object
  63     inherit range
  64     val obj : Gtk.scale obj
  65     method set_digits : int -> unit
  66     method set_draw_value : bool -> unit
  67     method set_value_pos : Tags.position -> unit
  68   end
  69 val scale :
  70   Tags.orientation ->
  71   ?adjustment:GData.adjustment ->
  72   ?digits:int ->
  73   ?draw_value:bool ->
  74   ?value_pos:Tags.position ->
  75   ?packing:(widget -> unit) -> ?show:bool -> unit -> scale
  76
  77 class scrollbar : Gtk.scrollbar obj ->
  78   object
  79     inherit range
  80     val obj : Gtk.scrollbar obj
  81     method event : event_ops
  82   end
  83 val scrollbar :
  84   Tags.orientation ->
  85   ?adjustment:GData.adjustment ->
  86   ?update_policy:Tags.update_type ->
  87   ?packing:(widget -> unit) -> ?show:bool -> unit -> scrollbar