diff options
Diffstat (limited to 'ide/tags.mli')
| -rw-r--r-- | ide/tags.mli | 23 |
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 |