auto and autogui... some work

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

diff --git a/components/content_pres/boxPp.ml b/components/content_pres/boxPp.ml
index ca51c0ed3e46d8c14730301bd7640bfb598d6a7e..5719f2b69203912cb5a1983c48d16f849f43f075 100644 (file)
--- a/components/content_pres/boxPp.ml
+++ b/components/content_pres/boxPp.ml
@@ -199,7 +199,7 @@ let render_to_strings ?(map_unicode_to_tex = true) choose_action size markup =
             else
               match Utf8Macro.tex_of_unicode s with
               | Some s -> s ^ " "
-              | None -> s
+              | None -> " " ^ s ^ " "
           end else
             s
         in