summaryrefslogtreecommitdiff
path: root/context/data/scite/context/lexers/scite-context-lexer-tex.lua
diff options
context:
space:
mode:
authorHans Hagen <pragma@wxs.nl>2017-11-08 23:59:48 +0100
committerContext Git Mirror Bot <phg42.2a@gmail.com>2017-11-08 23:59:48 +0100
commit3c5bdb02c68293a907c765f109641c3939c13f6c (patch)
tree59d2539750f6bf7daabf9546323b9a9087e992ec /context/data/scite/context/lexers/scite-context-lexer-tex.lua
parent75fbb107b15d01179a4b772844144e0661240e77 (diff)
downloadcontext-3c5bdb02c68293a907c765f109641c3939c13f6c.tar.gz
2017-11-08 22:50:00
Diffstat (limited to 'context/data/scite/context/lexers/scite-context-lexer-tex.lua')
-rw-r--r--context/data/scite/context/lexers/scite-context-lexer-tex.lua6
1 files changed, 3 insertions, 3 deletions
diff --git a/context/data/scite/context/lexers/scite-context-lexer-tex.lua b/context/data/scite/context/lexers/scite-context-lexer-tex.lua
index ffe38ca67..4d15350cd 100644
--- a/context/data/scite/context/lexers/scite-context-lexer-tex.lua
+++ b/context/data/scite/context/lexers/scite-context-lexer-tex.lua
@@ -463,10 +463,10 @@ contextlexer._rules = {
-- { "subsystem", subsystem },
{ "callers", callers },
{ "subsystem", subsystem },
+ { "ifprimitive", ifprimitive },
{ "helper", helper },
{ "command", command },
{ "primitive", primitive },
- { "ifprimitive", ifprimitive },
-- { "subsystem", subsystem },
{ "reserved", reserved },
{ "csname", csname },
@@ -494,10 +494,10 @@ if web then
{ "comment", comment },
{ "constant", constant },
{ "callers", callers },
+ { "ifprimitive", ifprimitive },
{ "helper", helper },
{ "command", command },
{ "primitive", primitive },
- { "ifprimitive", ifprimitive },
{ "reserved", reserved },
{ "csname", csname },
{ "grouping", grouping },
@@ -518,10 +518,10 @@ else
{ "comment", comment },
{ "constant", constant },
{ "callers", callers },
+ { "ifprimitive", ifprimitive },
{ "helper", helper },
{ "command", command },
{ "primitive", primitive },
- { "ifprimitive", ifprimitive },
{ "reserved", reserved },
{ "csname", csname },
{ "grouping", grouping },