helm/ocaml/logger/ui_logger.mli

   1
   2 type html_tag = [ `BR | `L of html_tag list | `T of string ]
   3 type html_msg = [ `Error of html_tag | `Msg of html_tag ]
   4
   5 val string_of_html_msg: html_msg -> string
   6 val html_of_html_msg: html_msg -> string
   7
   8 class html_logger:
   9   ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->
  10     unit ->
  11       object
  12           (* in all methods below "append_NL" defaults to true *)
  13
  14           (** log an HTML like message, see minimal markup above *)
  15         method log: ?append_NL:bool -> html_msg -> unit
  16
  17           (** log a cic messages as degined in CicLogger *)
  18         method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
  19
  20       end
  21