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

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