object
method error :
?parent:GWindow.window_skel -> ('a, Format.formatter, unit) format -> 'a
method full_protect :
?parent:GWindow.window_skel -> (unit -> 'b) -> 'b option
method main_window : GWindow.window
method protect : ?parent:GWindow.window_skel -> (unit -> unit) -> unit
method reset : unit -> unit
end