From 04d66a258efb91e73c313b3315abd2810947028d Mon Sep 17 00:00:00 2001 From: pboutill Date: Wed, 2 May 2012 17:11:21 +0000 Subject: Coqide coq lexer put one tag at the end of a sentence. And that's all ! It erase the possibility of code folding... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15268 85f007b7-540e-0410-9357-904b9bb8a0f7 --- ide/tags.ml | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) (limited to 'ide/tags.ml') diff --git a/ide/tags.ml b/ide/tags.ml index db1549e78..14a04f359 100644 --- a/ide/tags.ml +++ b/ide/tags.ml @@ -19,19 +19,12 @@ let processing_color = ref "light blue" module Script = struct let table = GText.tag_table () - let kwd = make_tag table ~name:"kwd" [`FOREGROUND "blue"] - let qed = make_tag table ~name:"qed" [`FOREGROUND "blue"] - let decl = make_tag table ~name:"decl" [`FOREGROUND "orange red"] - let proof_decl = make_tag table ~name:"proof_decl" [`FOREGROUND "orange red"] - let comment = make_tag table ~name:"comment" [`FOREGROUND "brown"] - let reserved = make_tag table ~name:"reserved" [`FOREGROUND "dark red"] + let comment_sentence = make_tag table ~name:"comment_sentence" [] 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 found = make_tag table ~name:"found" [`BACKGROUND "blue"; `FOREGROUND "white"] - let hidden = make_tag table ~name:"hidden" [`INVISIBLE true; `EDITABLE false] - let folded = make_tag table ~name:"locked" [`EDITABLE false; `BACKGROUND "light grey"] let sentence = make_tag table ~name:"sentence" [] end module Proof = -- cgit v1.2.3