diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:34 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-05-03 13:55:34 +0200 |
| commit | 624cbb5da392e9403984dd1cf368c0d408b1c2a8 (patch) | |
| tree | 489c049ac849bb5bbce7d32e4df477872c58373d /context/data/scite/lexers/scite-context-lexer-mps.lua | |
| parent | 088de88944c1f2254250bb448c7371a87ff7ee39 (diff) | |
| download | context-624cbb5da392e9403984dd1cf368c0d408b1c2a8.tar.gz | |
2014-01-03 00:42:00
Diffstat (limited to 'context/data/scite/lexers/scite-context-lexer-mps.lua')
| -rw-r--r-- | context/data/scite/lexers/scite-context-lexer-mps.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/context/data/scite/lexers/scite-context-lexer-mps.lua b/context/data/scite/lexers/scite-context-lexer-mps.lua index f0d88eb3b..96c5e9c3c 100644 --- a/context/data/scite/lexers/scite-context-lexer-mps.lua +++ b/context/data/scite/lexers/scite-context-lexer-mps.lua @@ -98,7 +98,7 @@ local number = token('number', number) local grouping = token('grouping', S("()[]{}")) -- can be an option local special = token('special', S("#()[]{}<>=:\"")) -- or else := <> etc split local texlike = token('warning', P("\\") * cstokentex^1) -local extra = token('extra', P("+-+") + P("++") + S("`~%^&_-+*/\'|\\")) +local extra = token('extra', S("`~%^&_-+*/\'|\\")) local nested = P { leftbrace * (V(1) + (1-rightbrace))^0 * rightbrace } local texlike = token('embedded', P("\\") * (P("MP") + P("mp")) * mptoken^1) |