let interactive_string_choice
text prefix_len ?(title = "") ?(msg = "") () ~id locs uris
-=
+=
+
+ let text = Pcre.replace ~pat:"<" ~templ:"<" text in
+ let text = Pcre.replace ~pat:"'" ~templ:"'" text in
+ let text = Pcre.replace ~pat:"\"" ~templ:""" text in
+ let text = Pcre.replace ~pat:">" ~templ:">" text in
let gui = instance () in
let dialog = gui#newUriDialog () in
dialog#uriEntryHBox#misc#hide ();