type html_tag = [ `BR | `L of html_tag list | `T of string ]
type html_msg = [ `Error of html_tag | `Msg of html_tag ]
+val string_of_html_msg: html_msg -> string
+val html_of_html_msg: html_msg -> string
+
class html_logger:
- width:int -> height:int ->
- packing:(GObj.widget -> unit) -> show:bool ->
- unit ->
- object
- (* in all methods below "append_NL" defaults to true *)
+ ?width:int -> ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->
+ unit ->
+ object
+ (* in all methods below "append_NL" defaults to true *)
- (** log an HTML like message, see minimal markup above *)
- method log: ?append_NL:bool -> html_msg -> unit
+ (** log an HTML like message, see minimal markup above *)
+ method log: ?append_NL:bool -> html_msg -> unit
- (** log a cic messages as degined in CicLogger *)
- method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
+ (** log a cic messages as degined in CicLogger *)
+ method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
- end
+ end