X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Flogger%2Fui_logger.ml;h=a711f5d389a7bd507d7fbf997db781a135aef976;hb=f5b6be7239a35e1d0aba504605b5a0df5cf06726;hp=0197486135de534f9d8180426c627068aeadc630;hpb=05a96edc1a298d5a6d92919e0b68f0377604387f;p=helm.git

diff --git a/helm/ocaml/logger/ui_logger.ml b/helm/ocaml/logger/ui_logger.ml
index 019748613..a711f5d38 100644
--- 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