sig
class type basic_main =
object
method error :
?parent:GWindow.window_skel ->
?reset:bool -> ('a, Format.formatter, unit) format -> 'a
method full_protect :
cancelable:bool ->
?parent:GWindow.window_skel -> (unit -> 'a) -> 'a option
method main_window : GWindow.window
method protect :
cancelable:bool ->
?parent:GWindow.window_skel -> (unit -> unit) -> unit
method reset : unit -> unit
method private set_reset : (unit -> unit) -> unit
end
val show :
?height:int -> ?width:int -> host:Launcher.basic_main -> unit -> unit
end