From 05fc256eecfea634d8c726c5b7f81269a87eca18 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 21 Aug 2015 18:07:23 +0200
Subject: Adding standard printing tags to CoqIDE.

---
 ide/preferences.ml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)

diff --git a/ide/preferences.ml b/ide/preferences.ml
index aea00d98de..743f6e2a62 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -398,6 +398,29 @@ let tags = ref Util.String.Map.empty
 
 let list_tags () = !tags
 
+let () =
+  let iter name =
+    let pref = new preference ~name:[name] ~init:default_tag ~repr:Repr.(tag) in
+    tags := Util.String.Map.add name pref !tags
+  in
+  List.iter iter [
+    "constr.evar";
+    "constr.keyword";
+    "constr.notation";
+    "constr.path";
+    "constr.reference";
+    "constr.type";
+    "constr.variable";
+    "message.debug";
+    "message.error";
+    "message.warning";
+    "module.definition";
+    "module.keyword";
+    "tactic.keyword";
+    "tactic.primitive";
+    "tactic.string";
+  ]
+
 let processed_color =
   new preference ~name:["processed_color"] ~init:"light green" ~repr:Repr.(string)
 
-- 
cgit v1.2.3