Pluging in tag preferences into buffer printing.

1 files changed, 18 insertions, 0 deletions

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index 053bba805..88a8486f4 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -37,7 +37,25 @@ let flash_info =
   let flash_context = status#new_context ~name:"Flash" in
     (fun ?(delay=5000) s -> flash_context#flash ~delay s)
 
+module StringMap = Map.Make(String)
 
+let translate s = s
+
+let insert_xml ?(tags = []) (buf : #GText.buffer_skel) xml =
+  let open Xml_datatype in
+  let tag name =
+    let name = translate name in
+    match GtkText.TagTable.lookup buf#tag_table name with
+    | None -> raise Not_found
+    | Some tag -> new GText.tag tag
+  in
+  let rec insert tags = function
+  | PCData s -> buf#insert ~tags:(List.rev tags) s
+  | Element (t, _, children) ->
+    let tags = try tag t :: tags with Not_found -> tags in
+    List.iter (fun xml -> insert tags xml) children
+  in
+  insert tags xml
 
 let set_location = ref  (function s -> failwith "not ready")