From c8325e6e1a31598a4d4dc6a29834fdaefcb31181 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Sun, 19 Sep 2021 18:24:52 +0200
Subject: Frontend color changes

---
 language-web/src/main/js/theme/EditorTheme.ts | 4 ++--
 language-web/src/main/js/theme/ThemeStore.ts  | 6 +++++-
 2 files changed, 7 insertions(+), 3 deletions(-)

(limited to 'language-web/src/main/js')

diff --git a/language-web/src/main/js/theme/EditorTheme.ts b/language-web/src/main/js/theme/EditorTheme.ts
index 9420dafa..957f2426 100644
--- a/language-web/src/main/js/theme/EditorTheme.ts
+++ b/language-web/src/main/js/theme/EditorTheme.ts
@@ -16,9 +16,9 @@ export class EditorThemeData {
 
   foreground!: string;
 
-  background!: string;
+  foregroundHighlight!: string;
 
-  paper!: string;
+  background!: string;
 
   primary!: string;
 
diff --git a/language-web/src/main/js/theme/ThemeStore.ts b/language-web/src/main/js/theme/ThemeStore.ts
index 0f283c98..0e4aeb23 100644
--- a/language-web/src/main/js/theme/ThemeStore.ts
+++ b/language-web/src/main/js/theme/ThemeStore.ts
@@ -34,7 +34,7 @@ export class ThemeStore {
         mode: themeData.paletteMode,
         background: {
           default: themeData.background,
-          paper: themeData.paper,
+          paper: themeData.background,
         },
         primary: {
           main: themeData.primary,
@@ -42,6 +42,10 @@ export class ThemeStore {
         secondary: {
           main: themeData.secondary,
         },
+        text: {
+          primary: themeData.foregroundHighlight,
+          secondary: themeData.foreground,
+        },
       },
     });
     return responsiveFontSizes(materialUiTheme);
-- 
cgit v1.2.3-54-g00ecf