-
-let new_search_win title text =
- let w = new MatitaGeneratedGui.searchWin () in
- let t =
- GSourceView.source_view ~auto_indent:false ~editable:false ()
- in
- t#source_buffer#insert text;
- w#toplevel#set_title title;
- w#scrolledwinContent#add (t :> GObj.widget);
- ignore(w#buttonSearch#connect#clicked ~callback:( fun () ->
- let text = w#entrySearch#text in
- let highlight start end_ =
- t#source_buffer#move_mark `INSERT ~where:start;
- t#source_buffer#move_mark `SEL_BOUND ~where:end_;
- t#scroll_mark_onscreen `INSERT
- in
- let iter = t#source_buffer#get_iter `SEL_BOUND in
- match iter#forward_search text with
- | None ->
- (match t#source_buffer#start_iter#forward_search text with
- | None -> ()
- | Some (start,end_) -> highlight start end_)
- | Some (start,end_) -> highlight start end_));
- ignore(w#buttonClose#connect#clicked ~callback:(fun () ->
- w#toplevel#misc#hide (); w#toplevel#destroy ()));
- w
+
+let escape_pango_markup text =
+ 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
+ text