class error_manager : ?reset:unit -> unit -> GWindow.window_skel -> host
?reset:unit -> unit -> GWindow.window_skel ->
host
GWindow.window_skel