From 770154190c12f6b2f1a103ae16ce41b948cc2d27 Mon Sep 17 00:00:00 2001 From: aspiwack Date: Fri, 24 Aug 2012 10:14:47 +0000 Subject: Modification of the unjustified tag. It seemed to intrusive to have it display the text underlined and red. The goal of this tag is to notify the user when Coq doesn't guarantee correctness, not to make the command look like an error. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15759 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/tags.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ide/tags.ml') diff --git a/ide/tags.ml b/ide/tags.ml index fa67d6456..fe4db5705 100644 --- a/ide/tags.ml +++ b/ide/tags.ml @@ -23,7 +23,7 @@ struct let error = make_tag table ~name:"error" [`UNDERLINE `DOUBLE ; `FOREGROUND "red"] let to_process = make_tag table ~name:"to_process" [`BACKGROUND !processing_color ;`EDITABLE false] let processed = make_tag table ~name:"processed" [`BACKGROUND !processed_color;`EDITABLE false] - let unjustified = make_tag table ~name:"unjustified" [`UNDERLINE `SINGLE; `FOREGROUND "red"; `BACKGROUND "gold";`EDITABLE false] + let unjustified = make_tag table ~name:"unjustified" [`BACKGROUND "gold";`EDITABLE false] let found = make_tag table ~name:"found" [`BACKGROUND "blue"; `FOREGROUND "white"] let sentence = make_tag table ~name:"sentence" [] end -- cgit v1.2.3