From 19cd11118cde7160cd447c81bc965007c0437479 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 16 Aug 2022 21:14:50 +0200 Subject: refactor(frondend): improve editor store and theme Also bumps frontend dependencies. --- subprojects/frontend/src/language/problemLanguageSupport.ts | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'subprojects/frontend/src/language') 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({ BlockComment: t.blockComment, 'problem class enum pred rule indiv scope': t.definitionKeyword, 'abstract extends refers contains opposite error default': t.modifier, - 'true false unknown error': t.keyword, + 'true false unknown error': t.operatorKeyword, 'may must current count': t.operatorKeyword, - 'new delete': t.operatorKeyword, + 'new delete': t.keyword, NotOp: t.operator, UnknownOp: t.operator, - OrOp: t.punctuation, + OrOp: t.separator, StarArgument: t.keyword, 'IntMult StarMult Real': t.number, StarMult: t.number, String: t.string, 'RelationName/QualifiedName': t.typeName, - 'RuleName/QualifiedName': t.macroName, + 'RuleName/QualifiedName': t.typeName, 'IndividualNodeName/QualifiedName': t.atom, 'VariableName/QualifiedName': t.variableName, '{ }': t.brace, -- cgit v1.2.3-54-g00ecf