From c0b484e5ea6118b43e459190c02cc5a4261d0328 Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Fri, 24 Aug 2012 17:36:27 +0000
Subject: Better highlighting of strings in coqide.

Strings were not highlighted out of comments. This would lead to funny
result, like certain strings (i.e. "(*") to cause all following code to be
highlighted as a string.

I've added strings in three different contexts (the same where comments
are highlighted). I think it's safe to do, I don't know if it's the best way,
though. In particular I don't know if it's the best way to highlight notations.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15761 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq.lang | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ide/coq.lang b/ide/coq.lang
index e202e36b99..830a7b9819 100644
--- a/ide/coq.lang
+++ b/ide/coq.lang
@@ -48,6 +48,7 @@
     </context>
     <context id="coq" class="no-spell-check">
       <include>
+        <context ref="string"/>
 	<context id="coqdoc" style-ref="coqdoc" class-disabled="no-spell-check">
 	  <start>\(\*\*(\s|\z)</start>
 	  <end>\*\)</end>
@@ -108,6 +109,7 @@
 	      <match>\.\.</match>
 	    </context>
 	    <context ref="comment"/>
+	    <context ref="string"/>
 	    <context ref="coqdoc"/>
 	  </include>
 	</context>
@@ -123,6 +125,7 @@
 	    <context ref="command-for-qualit"/>
 	    <context ref="declaration"/>
 	    <context ref="comment"/>
+	    <context ref="string"/>
 	    <context ref="coqdoc"/>
 	    <context ref="proof"/>
 	    <context ref="undotted-sep"/>
-- 
cgit v1.2.3