X-Git-Url: http://matita.cs.unibo.it/gitweb/?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=9aff1b3201b8482c51692e05b8001380a649971b;hb=7aa91a2cd4497f68ebf5b9dd85b5f2c791f738a1;hp=0000000000000000000000000000000000000000;hpb=044a71416237d8e2b575678b5f49b8c9380ca409;p=helm.git

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
new file mode 100644
index 000000000..9aff1b320
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/examples/combo.ml
@@ -0,0 +1,23 @@
+(* $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 ()