Class type Gtk_helper.host


class type host = object .. end
A utility class to catch exceptions and report proper error messages.

method error : 'a.
?parent:GWindow.window_skel ->
('a, Format.formatter, unit) Pervasives.format -> 'a
method full_protect : 'b. ?parent:GWindow.window_skel -> (unit -> 'b) -> 'b option
method protect : ?parent:GWindow.window_skel -> (unit -> unit) -> unit