Gtk_helper.host
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.
Design.main_window_extension_points
method error : 'a. ?parent:GWindow.window_skel -> ?reset:bool -> ( 'a, Stdlib.Format.formatter, unit ) Stdlib.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