X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.ml;h=8a7048bbdf4cd7557213d78a064c9d2ee34385a2;hb=22964c949671af4b5e739b06b915a81a4fc2c5b5;hp=9aa4644cbce66b55428a3f83eea32e28e93c3b88;hpb=d9394782ed9580f3565eb9b4682d8348aae6349e;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index 9aa4644cb..8a7048bbd 100644
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -195,7 +195,7 @@ let popup_message_lowlevel
       ?parent ~destroy_with_parent 
       ~title ~allow_grow ~allow_shrink ?icon ~modal ~resizable ?screen 
       ?type_hint ~position ?wm_name ?wm_class ?border_width ?width ?height 
-      ~show () 
+      ~show:false () 
   in
   let stock = 
     match message_type with
@@ -206,6 +206,7 @@ let popup_message_lowlevel
   in
   let image = GMisc.image ~stock ~icon_size:`DIALOG () in
   let label = GMisc.label ~markup:message () in
+  label#set_line_wrap true;
   let hbox = GPack.hbox ~spacing:10 () in
   hbox#pack ~from:`START ~expand:true ~fill:true (image:>GObj.widget);
   hbox#pack ~from:`START ~expand:true ~fill:true (label:>GObj.widget);
@@ -220,6 +221,8 @@ let popup_message_lowlevel
     ~callback:(fun a ->  GMain.Main.quit ();callback a));
   ignore(m#connect#close 
     ~callback:(fun _ -> GMain.Main.quit ();callback `POPUPCLOSED));
+  if show = true then 
+      m#show ();
   GtkThread.main ();
   m#destroy ()