class type host = object
.. end
A utility class to catch exceptions and report proper error messages.
See the documentations of the methods in
Design.main_window_extension_points
, which inherits from this
class.
method error : 'a.
?parent:GWindow.window_skel ->
?reset:bool -> ('a, Format.formatter, unit) Pervasives.format -> 'a
method full_protect : 'a.
cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> 'a) -> 'a option
method protect : cancelable:bool -> ?parent:GWindow.window_skel -> (unit -> unit) -> unit
method private set_reset : (unit -> unit) -> unit