class error_manager : ?reset:unit -> unit -> GWindow.window_skel -> host
?reset:unit -> unit -> GWindow.window_skel ->
host
A utility class to catch exceptions and report proper error messages. The error dialog will be transient for the GWindow.window_skel argument.
GWindow.window_skel