open MatitaTypes
let wrap_callback f = f
-(*
-let wrap_callback f () =
- try
- f ()
- with exn ->
- MatitaLog.error (sprintf "Uncaught exception: %s" (Printexc.to_string exn))
-*)
let connect_button (button: #GButton.button) callback =
ignore (button#connect#clicked (wrap_callback callback))
?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
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);
~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 ()