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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/progressbar.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/progressbar.ml
deleted file mode 100644
index b614f08f8..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/progressbar.ml
+++ /dev/null
@@ -1,51 +0,0 @@
-(* $Id$ *)
-
-open GMain
-
-class bar bar = object
-  val bar : #GRange.progress = bar
-  val mutable pstat = true
-  method progress () =
-    let pvalue = bar#percentage in
-    let pvalue =
-      if pvalue > 0.99 || not pstat then (pstat <- true; 0.0)
-      else pvalue +. 0.01
-    in
-    bar#set_percentage pvalue;
-    true
-  method reset () =
-    pstat <- false
-end
-
-let main () =
-
-  let window = GWindow.window ~border_width: 10 () in
-  window#connect#destroy ~callback:Main.quit;
-
-  let table = GPack.table ~rows:3 ~columns:2 ~packing: window#add () in
-  
-  GMisc.label ~text:"Progress Bar Example" ()
-    ~packing:(table#attach ~left:0 ~right:2 ~top:0 ~expand:`X ~shrink:`BOTH);
-  
-  let pbar =
-    GRange.progress_bar ~bar_style:`DISCRETE ~discrete_blocks:20 ()
-      ~packing:(table#attach ~left:0 ~right:2 ~top:1
-                  ~expand:`BOTH ~fill:`X ~shrink:`BOTH) in
-
-  let bar = new bar pbar in
-  let ptimer = Timeout.add ~ms:50 ~callback:bar#progress in
-
-  let button = GButton.button ~label:"Reset" ()
-      ~packing:(table#attach ~left:0 ~top:2
-                  ~expand:`NONE ~fill:`X ~shrink:`BOTH) in
-  button#connect#clicked ~callback:bar#reset;
-
-  let button = GButton.button ~label:"Cancel" ()
-      ~packing:(table#attach ~left:1 ~top:2
-                  ~expand:`NONE ~fill:`X ~shrink:`BOTH) in
-  button#connect#clicked ~callback:Main.quit;
-
-  window#show ();
-  Main.main ()
-
-let _ = main ()