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