diff options
author | 2022-08-16 21:14:50 +0200 | |
---|---|---|
committer | 2022-08-16 21:14:50 +0200 | |
commit | 19cd11118cde7160cd447c81bc965007c0437479 (patch) | |
tree | 5fea613e7a46d69380995368a68cc72f186078a4 /subprojects/frontend/src/language | |
parent | chore(deps): bump frontend dependencies (diff) | |
download | refinery-19cd11118cde7160cd447c81bc965007c0437479.tar.gz refinery-19cd11118cde7160cd447c81bc965007c0437479.tar.zst refinery-19cd11118cde7160cd447c81bc965007c0437479.zip |
refactor(frondend): improve editor store and theme
Also bumps frontend dependencies.
Diffstat (limited to 'subprojects/frontend/src/language')
-rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 246135d8..07a884e7 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -28,18 +28,18 @@ const parserWithMetadata = parser.configure({ | |||
28 | BlockComment: t.blockComment, | 28 | BlockComment: t.blockComment, |
29 | 'problem class enum pred rule indiv scope': t.definitionKeyword, | 29 | 'problem class enum pred rule indiv scope': t.definitionKeyword, |
30 | 'abstract extends refers contains opposite error default': t.modifier, | 30 | 'abstract extends refers contains opposite error default': t.modifier, |
31 | 'true false unknown error': t.keyword, | 31 | 'true false unknown error': t.operatorKeyword, |
32 | 'may must current count': t.operatorKeyword, | 32 | 'may must current count': t.operatorKeyword, |
33 | 'new delete': t.operatorKeyword, | 33 | 'new delete': t.keyword, |
34 | NotOp: t.operator, | 34 | NotOp: t.operator, |
35 | UnknownOp: t.operator, | 35 | UnknownOp: t.operator, |
36 | OrOp: t.punctuation, | 36 | OrOp: t.separator, |
37 | StarArgument: t.keyword, | 37 | StarArgument: t.keyword, |
38 | 'IntMult StarMult Real': t.number, | 38 | 'IntMult StarMult Real': t.number, |
39 | StarMult: t.number, | 39 | StarMult: t.number, |
40 | String: t.string, | 40 | String: t.string, |
41 | 'RelationName/QualifiedName': t.typeName, | 41 | 'RelationName/QualifiedName': t.typeName, |
42 | 'RuleName/QualifiedName': t.macroName, | 42 | 'RuleName/QualifiedName': t.typeName, |
43 | 'IndividualNodeName/QualifiedName': t.atom, | 43 | 'IndividualNodeName/QualifiedName': t.atom, |
44 | 'VariableName/QualifiedName': t.variableName, | 44 | 'VariableName/QualifiedName': t.variableName, |
45 | '{ }': t.brace, | 45 | '{ }': t.brace, |