refactor(frondend): improve editor store and theme

Also bumps frontend dependencies.

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({
       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,