* necessary to turn the exception into an error message.
*)
let failure ws exn =
- let title = "Error" in
- let msg = Printexc.to_string exn in
- debug "failure hook: %s" msg;
+ let raw_msg = Printexc.to_string exn in
+ debug "failure hook: %s" raw_msg;
+
+ let title, msg = pretty_string_of_exn exn in
let icon = GMisc.image () in
icon#set_stock `DIALOG_ERROR;
icon#set_icon_size `DIALOG;