Home Explore Help
Register Sign In
pgimeno
/
lite
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 1 Wiki
Labels Milestones
New Pull Request

#1 Fix dashes in a pattern not being escaped

Closed
pgimeno wants to merge 1 commits from pgimeno/pg-fix-long-comment-dashes into pgimeno/master
Conversation 0 Commits 1 Files changed 1
1 changed files with 1 additions and 1 deletions
Split View Show Diff Stats
  1. 1 1
      data/core/syntax.lua

+ 1 - 1
data/core/syntax.lua
View File 

@@ -39,7 +39,7 @@ syntax.add {
 
     { pattern = { '"', '"', '\\' },       type = "string"   },
 
     { pattern = { "'", "'", '\\' },       type = "string"   },
 
     { pattern = { "%[%[", "%]%]" },       type = "string"   },
 
-    { pattern = { "--%[%[", "%]%]"},      type = "comment"  },
 
+    { pattern = { "%-%-%[%[", "%]%]" },   type = "comment"  },
 
     { pattern = "%-%-.-\n",               type = "comment"  },
 
     { pattern = "-?0x%x+",                type = "number"   },
 
     { pattern = "-?%d+[%d%.eE]*",         type = "number"   },