todo: Use signals.

[guestfs-browser.git] / utils.mli

diff --git a/utils.mli b/utils.mli
index c74a413..e455252 100644 (file)
--- a/utils.mli
+++ b/utils.mli
@@ -58,6 +58,14 @@ val set_connect_uri : string option -> unit
 
       This is set through the [--connect] command line option. *)
 
+val pretty_string_of_exn : exn -> string * string
+  (** Pretty string from exception.
+
+      Returns a title and a detailed message, for use in message dialogs.
+
+      To get raw exception string, use {!Printexc.to_string} from the
+      standard library. *)
+
 val utf8_rarrow : string (** UTF-8 RIGHTWARDS ARROW *)
 
 val human_size : int64 -> string