moved here ui_logger from gTopLeve

[helm.git] / helm / ocaml / logger / ui_logger.mli

diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli
new file mode 100644 (file)
index 0000000..a289e37
--- /dev/null
+++ b/helm/ocaml/logger/ui_logger.mli
@@ -0,0 +1,19 @@
+
+type html_tag = [ `BR | `L of html_tag list | `T of string ]
+type html_msg = [ `Error of html_tag | `Msg of html_tag ]
+
+class html_logger:
+  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 a cic messages as degined in CicLogger *)
+    method log_cic_msg: ?append_NL:bool -> CicLogger.msg -> unit
+
+  end
+