module Warning_manager: sig .. end
sig
end
type t
val make : packing:(GObj.widget -> unit) -> callback:(string -> int -> unit) -> t
packing:(GObj.widget -> unit) -> callback:(string -> int -> unit) -> t
val append : t -> Log.event -> on_select:(Log.event -> unit) -> unit
t -> Log.event -> on_select:(Log.event -> unit) -> unit
val clear : t -> unit
t -> unit