diff options
| author | aspiwack | 2012-08-24 17:36:27 +0000 |
|---|---|---|
| committer | aspiwack | 2012-08-24 17:36:27 +0000 |
| commit | c0b484e5ea6118b43e459190c02cc5a4261d0328 (patch) | |
| tree | 81dda7669a5b0266aec877571e1cd8d01a42a12e | |
| parent | a3e890a390e9541045b1ce4c024fffcca275ff90 (diff) | |
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
| -rw-r--r-- | ide/coq.lang | 3 |
1 files changed, 3 insertions, 0 deletions
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"/> |