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

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/image.ml b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/image.ml
deleted file mode 100644
index faf82cf44..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/image.ml
+++ /dev/null
@@ -1,67 +0,0 @@
-(* $Id$ *)
-
-open GMain
-open Gdk
-
-(* load image *)
-let buf = String.create (256*256*3)
-let ic = open_in_bin "image256x256.rgb"
-let _ = 
-  really_input ic ~buf:buf ~pos:0 ~len:(256*256*3);
-  close_in ic
-
-let rgb_at x y =
-  let offset = (y * 256 + x) * 3 in
-  (int_of_char buf.[offset  ],
-   int_of_char buf.[offset+1],
-   int_of_char buf.[offset+2])
-
-(* let id = Thread.create GtkThread.main () *)
-
-(* Choose a visual appropriate for RGB *)
-let _ =
-  Gdk.Rgb.init ();
-  GtkBase.Widget.set_default_visual (Gdk.Rgb.get_visual ());
-  GtkBase.Widget.set_default_colormap (Gdk.Rgb.get_cmap ())
-
-(* We need show: true because of the need of visual *)
-let window = GWindow.window ~show:true ~width: 256 ~height: 256 ()
-
-let visual = window#misc#visual
-
-let color_create = Truecolor.color_creator visual
-
-let w = window#misc#window
-let drawing = new GDraw.drawable w
-
-let _ =
-  window#connect#destroy ~callback:Main.quit;
-
-  let image =
-    Image.create ~kind: `FASTEST ~visual: visual ~width: 256 ~height: 256
-  in
-
-  let draw () =
-    for x = 0 to 255 do
-      for y = 0 to 255 do
-        let r,g,b = rgb_at x y in
-        Image.put_pixel image ~x: x ~y: y 
-          ~pixel: (color_create ~red: (r * 256) ~green: (g * 256) ~blue: (b * 256))
-      done
-    done 
-  in
- 
-  let display () =
-    drawing#image image ~xsrc:0 ~ysrc:0 ~xdest:0 ~ydest:0 ~width:256 ~height:256
-  in
-
-  draw (); 
-
-  window#event#connect#after#expose ~callback:
-    begin fun _ ->
-      display (); false
-    end;
-  (* Thread.join id *)
-
-  window#show ();
-  Main.main ()