diff options
| author |  aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-24 10:14:47 +0000 |
|---|---|---|
| committer | aspiwack <aspiwack@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-08-24 10:14:47 +0000 |
| commit | 770154190c12f6b2f1a103ae16ce41b948cc2d27 (patch) | |
| tree | a506850f106b904b476bc95b1a723249ba28f5dd /ide/tags.ml | |
| parent | 8428508fc0e7ec91470eecc0cb4b67f44121b696 (diff) | |
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
Diffstat (limited to 'ide/tags.ml')
| -rw-r--r-- | ide/tags.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |