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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.mli
deleted file mode 100644
index ac9b38c27..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gRange.mli
+++ /dev/null
@@ -1,87 +0,0 @@
-(* $Id$ *)
-
-open Gtk
-open GObj
-
-class progress : 'a obj ->
-  object
-    inherit widget_full
-    constraint 'a = [>`progress|`widget]
-    val obj : 'a obj
-    method adjustment : GData.adjustment
-    method configure : current:float -> min:float -> max:float -> unit
-    method current_text : string
-    method percentage : float
-    method set_activity_mode : bool -> unit
-    method set_adjustment : GData.adjustment -> unit
-    method set_format_string : string -> unit
-    method set_percentage : float -> unit
-    method set_show_text : bool -> unit
-    method set_text_alignment : ?x:float -> ?y:float -> unit -> unit
-    method set_value : float -> unit
-    method value : float
-  end
-
-class progress_bar : Gtk.progress_bar obj ->
-  object
-    inherit progress
-    val obj : Gtk.progress_bar obj
-    method event : event_ops
-    method set_activity_blocks : int -> unit
-    method set_activity_step : int -> unit
-    method set_bar_style : [`CONTINUOUS|`DISCRETE] -> unit
-    method set_discrete_blocks : int -> unit
-    method set_orientation : Tags.progress_bar_orientation -> unit
-  end
-val progress_bar :
-  ?adjustment:GData.adjustment ->
-  ?bar_style:[`CONTINUOUS|`DISCRETE] ->
-  ?discrete_blocks:int ->
-  ?activity_step:int ->
-  ?activity_blocks:int ->
-  ?value:float ->
-  ?percentage:float ->
-  ?activity_mode:bool ->
-  ?show_text:bool ->
-  ?format_string:string ->
-  ?text_xalign:float ->
-  ?text_yalign:float ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> progress_bar
-
-class range : 'a obj ->
-  object
-    inherit widget_full
-    constraint 'a = [>`range|`widget]
-    val obj : 'a obj
-    method adjustment : GData.adjustment
-    method set_adjustment : GData.adjustment -> unit
-    method set_update_policy : Tags.update_type -> unit
-  end
-
-class scale : Gtk.scale obj ->
-  object
-    inherit range
-    val obj : Gtk.scale obj
-    method set_digits : int -> unit
-    method set_draw_value : bool -> unit
-    method set_value_pos : Tags.position -> unit
-  end
-val scale :
-  Tags.orientation ->
-  ?adjustment:GData.adjustment ->
-  ?digits:int ->
-  ?draw_value:bool ->
-  ?value_pos:Tags.position ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> scale
-
-class scrollbar : Gtk.scrollbar obj ->
-  object
-    inherit range
-    val obj : Gtk.scrollbar obj
-    method event : event_ops
-  end
-val scrollbar :
-  Tags.orientation ->
-  ?adjustment:GData.adjustment ->
-  ?update_policy:Tags.update_type ->
-  ?packing:(widget -> unit) -> ?show:bool -> unit -> scrollbar