s/List.find.../CicUtil.lookup_meta/

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

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