From 49ff50463939d1a5577088dfeab80bdb91614602 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Tue, 24 Feb 2015 14:10:41 -0500
Subject: [PATCH] fix qqstring rule in lean-mode

---
 lib/ace/mode/lean_highlight_rules.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/lib/ace/mode/lean_highlight_rules.js b/lib/ace/mode/lean_highlight_rules.js
index 06669de3..d4a37d20 100644
--- a/lib/ace/mode/lean_highlight_rules.js
+++ b/lib/ace/mode/lean_highlight_rules.js
@@ -106,9 +106,7 @@ var leanHighlightRules = function() {
                 stateName: "qqstring",
                 token : "string.start", regex : '"', next : [
                     {token : "string.end", regex : '"', next : "start"},
-                    {token : "string", regex : "\\\\$", next  : "qqstring"},
-                    {token : "string", regex : "\\n$", next  : "qqstring"},
-                    {token : "constant.language.escape", regex : /\\./},
+                    {token : "constant.language.escape", regex : /\\[n"\\]/},
                     {defaultToken: "string"}
                 ]
             }, {