]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/examples/drawing.ml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / examples / drawing.ml
1 (* $Id$ *)
2
3 open GMain
4
5 let window = GWindow.window ~show:true ()
6
7 let w = window#misc#window
8 let drawing = new GDraw.drawable w
9
10 let redraw _ =
11   drawing#polygon ~filled:true
12     [ 10,100; 35,35; 100,10; 165,35; 190,100;
13       165,165; 100,190; 35,165; 10,100 ];
14   false
15
16 let _ =
17   window#connect#destroy ~callback:Main.quit;
18   window#event#connect#after#configure ~callback:redraw;
19   Main.main ()