module Warning_manager:Handle Frama-C warnings in the GUI.sig
..end
type
t
val make : packing:(GObj.widget -> unit) ->
callback:(Lexing.position -> unit) -> t
val append : t -> Log.event -> on_select:(Log.event -> unit) -> unit
val clear : t -> unit