summaryrefslogtreecommitdiff
path: root/ide/tags.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ide/tags.mli')
-rw-r--r--ide/tags.mli23
1 files changed, 14 insertions, 9 deletions
diff --git a/ide/tags.mli b/ide/tags.mli
index 3cc4920a..9c3261d6 100644
--- a/ide/tags.mli
+++ b/ide/tags.mli
@@ -1,6 +1,6 @@
(************************************************************************)
(* v * The Coq Proof Assistant / The Coq Development Team *)
-(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2014 *)
+(* <O___,, * INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2015 *)
(* \VV/ **************************************************************)
(* // * This file is distributed under the terms of the *)
(* * GNU Lesser General Public License Version 2.1 *)
@@ -9,21 +9,21 @@
module Script :
sig
val table : GText.tag_table
- val kwd : GText.tag
- val qed : GText.tag
- val decl : GText.tag
- val proof_decl : GText.tag
val comment : GText.tag
- val reserved : GText.tag
val error : GText.tag
+ val error_bg : GText.tag
val to_process : GText.tag
val processed : GText.tag
+ val incomplete : GText.tag
val unjustified : GText.tag
val found : GText.tag
- val hidden : GText.tag
- val folded : GText.tag
- val paren : GText.tag
val sentence : GText.tag
+ val tooltip : GText.tag
+ val edit_zone : GText.tag (* for debugging *)
+ val all : GText.tag list
+
+ (* Not part of the all list. Special tags! *)
+ val read_only : GText.tag
end
module Proof :
@@ -38,6 +38,8 @@ module Message :
sig
val table : GText.tag_table
val error : GText.tag
+ val warning : GText.tag
+ val item : GText.tag
end
val string_of_color : Gdk.color -> string
@@ -48,3 +50,6 @@ val set_processed_color : Gdk.color -> unit
val get_processing_color : unit -> Gdk.color
val set_processing_color : Gdk.color -> unit
+
+val get_error_color : unit -> Gdk.color
+val set_error_color : Gdk.color -> unit