optionalizide some class parameters

diff --git a/helm/ocaml/logger/ui_logger.ml b/helm/ocaml/logger/ui_logger.ml
index 0197486135de534f9d8180426c627068aeadc630..a711f5d389a7bd507d7fbf997db781a135aef976 100644 (file)
--- a/helm/ocaml/logger/ui_logger.ml
+++ b/helm/ocaml/logger/ui_logger.ml
@@ -11,12 +11,12 @@ type html_tag =
 
 type html_msg = [ `Error of html_tag | `Msg of html_tag ]
 
-class html_logger ~width ~height ~packing ~show () =
- let scrolled_window = GBin.scrolled_window ~packing ~show () in
+class html_logger ?width ?height ?packing ?show () =
+ let scrolled_window = GBin.scrolled_window ?packing ?show () in
  let vadj = scrolled_window#vadjustment in
  let tv =
    GText.view ~editable:false ~cursor_visible:false
-    ~width ~height ~packing:(scrolled_window#add) ()
+    ?width ?height ~packing:(scrolled_window#add) ()
  in
  let green =
   tv#buffer#create_tag

diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli
index a289e370edf16aa9379910d99e00cf41b32bb728..3c548550ffc183115901d63e1dba89d63686ed12 100644 (file)
--- a/helm/ocaml/logger/ui_logger.mli
+++ b/helm/ocaml/logger/ui_logger.mli
@@ -3,17 +3,16 @@ 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 *)
+  ?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