From: Stefano Zacchiroli Date: Sat, 24 Jan 2004 16:58:48 +0000 (+0000) Subject: optionalizide some class parameters X-Git-Tag: V_0_2_3~146 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=67b9632f9a2e5331cb3c7b03908acf6392911007;p=helm.git optionalizide some class parameters --- 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 diff --git a/helm/ocaml/logger/ui_logger.mli b/helm/ocaml/logger/ui_logger.mli index a289e370e..3c548550f 100644 --- 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