From c63126d2f1ce5f571c316b37e00fb43d2da7c7d3 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 31 Jan 2024 02:00:09 +0100
Subject: refactor(language): module and node declarations

* New default file extension: .refinery (.problem is also supported).
* Add module keyword for self-contained modules.
* Rename indiv declarations to atom declaration.
* Add node and multi declarations for explicitly declared nodes and
  multi-objects, respectively.
---
 subprojects/frontend/src/editor/EditorTheme.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subprojects/frontend/src/editor')

diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts
index 1cad4a36..f499b0d9 100644
--- a/subprojects/frontend/src/editor/EditorTheme.ts
+++ b/subprojects/frontend/src/editor/EditorTheme.ts
@@ -126,7 +126,7 @@ export default styled('div', {
         color: theme.palette.text.secondary,
       },
     },
-    '.tok-problem-individual': {
+    '.tok-problem-atom': {
       '&, & .tok-variableName': {
         color: theme.palette.text.primary,
       },
-- 
cgit v1.2.3-54-g00ecf