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%2Fcombo.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fexamples%2Fcombo.ml;h=0000000000000000000000000000000000000000;hp=9aff1b3201b8482c51692e05b8001380a649971b;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/combo.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/combo.ml
deleted file mode 100644
index 9aff1b320..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/combo.ml
+++ /dev/null
@@ -1,23 +0,0 @@
-(* $Id$ *)
-
-open GMain
-
-let make_arrow_label combo ~label ~string =
-  let item = GList.list_item () in (* no packing here, it blocks GTK *)
-  let hbox = GPack.hbox ~spacing:3 ~packing:item#add () in
-  GMisc.arrow ~kind:`RIGHT ~shadow:`OUT ~packing:hbox#pack ();
-  GMisc.label ~text:label ~packing:hbox#pack ();
-  combo#set_item_string item string;
-  combo#list#add item;
-  item
-
-let main () =
-  let window = GWindow.window ~border_width:10 () in
-  window#connect#destroy ~callback:Main.quit;
-  let combo = GEdit.combo ~packing:window#add () in
-  make_arrow_label combo ~label:"First item" ~string:"1st item";
-  make_arrow_label combo ~label:"Second item" ~string:"2nd item";
-  window#show ();
-  Main.main ()
-  
-let _ = main ()