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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/GL/simple.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/GL/simple.ml
deleted file mode 100644
index ea6ebde96..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/GL/simple.ml
+++ /dev/null
@@ -1,33 +0,0 @@
-(* $Id$ *)
-
-open GMain
-
-let main () =
-  let w = GWindow.window ~title:"LablGL/Gtk" () in
-  w#connect#destroy ~callback:Main.quit;
-  let area =
-    GlGtk.area [`RGBA;`DEPTH_SIZE 1] ~width:500 ~height:500 ~packing:w#add () in
-  area#connect#realize ~callback:
-    begin fun () ->
-      GlMat.mode `projection;
-      GlMat.load_identity ();
-      GlMat.ortho ~x:(-1.0,1.0) ~y:(-1.0,1.0) ~z:(-1.0,1.0);
-    end;
-  area#connect#display ~callback:
-    begin fun () ->
-      GlClear.color (0.0, 0.0, 0.0);
-      GlClear.clear [`color];
-      GlDraw.color (1.0, 1.0, 1.0);
-      GlDraw.begins `polygon;
-      GlDraw.vertex ~x:(-0.5) ~y:(-0.5) ();
-      GlDraw.vertex ~x:(-0.5) ~y:(0.5) ();
-      GlDraw.vertex ~x:(0.5) ~y:(0.5) ();
-      GlDraw.vertex ~x:(0.5) ~y:(-0.5) ();
-      GlDraw.ends ();
-      Gl.flush ()
-    end;
-  Timeout.add ~ms:10000 ~callback:(fun () -> w#destroy ();false);
-  w#show ();
-  Main.main ()
-
-let _ = main ()