From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 21 Aug 2008 22:47:43 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4858
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9e1d0c4f6ddf36cd691ef0d3c95aaa7f694977f0;p=helm.git

...
---

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 96cd079e9..9e8cfd86c 100644
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -1379,7 +1379,12 @@ class interpModel =
 
 let interactive_string_choice 
   text prefix_len ?(title = "") ?(msg = "") () ~id locs uris 
-=
+= 
+        
+  let text = Pcre.replace ~pat:"<" ~templ:"&lt;" text in
+  let text = Pcre.replace ~pat:"'" ~templ:"&apos;" text in
+  let text = Pcre.replace ~pat:"\"" ~templ:"&quot;" text in
+  let text = Pcre.replace ~pat:">" ~templ:"&gt;" text in
   let gui = instance () in
     let dialog = gui#newUriDialog () in
     dialog#uriEntryHBox#misc#hide ();