From 8b609e4e6df906dc16e8fa506a71046ab3b8f16c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Fri, 21 Aug 2015 18:09:48 +0200
Subject: Pluging in tag preferences into buffer printing.

---
 ide/ideutils.ml | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'ide/ideutils.ml')

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")
 
-- 
cgit v1.2.3