Added toggle for enabling/disabling the conversion from multibyte unicode

[helm.git] / components / content_pres / boxPp.mli

diff --git a/components/content_pres/boxPp.mli b/components/content_pres/boxPp.mli
index fe05e24d9e8af9da1bc5a22f14c82cb62d4e43ab..66ae8ec95ea7f15f048bc64abbadb26d9f7f76a2 100644 (file)
--- a/components/content_pres/boxPp.mli
+++ b/components/content_pres/boxPp.mli
@@ -23,15 +23,21 @@
  * http://helm.cs.unibo.it/
  *)
 
-  (** @return rows list of rows *)
+  (**
+   * @param map_unicode_to_tex if true converts multibye unicode sequences to
+   *  TeX-like macros (when possible). Default: true
+   * @return rows list of rows *)
 val render_to_strings: 
+  ?map_unicode_to_tex:bool ->
   (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
   int -> CicNotationPres.markup -> string list
 
   (** helper function
+   * @param map_unicode_to_tex as above
    * @return s, concatenation of the return value of render_to_strings above
    * with newlines as separators *)
 val render_to_string:
+  ?map_unicode_to_tex:bool ->
   (CicNotationPres.boxml_markup Mpresentation.mpres Box.box list -> CicNotationPres.boxml_markup) -> 
   int -> CicNotationPres.markup -> string