diff options
author | Kristóf Marussy <marussy@mit.bme.hu> | 2021-10-31 19:41:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-31 19:41:24 +0100 |
commit | 7918d78948de7f349f9948837caf76f2a514c96c (patch) | |
tree | 0f7c24a9e0046dffd719d6a66be4a1f73b7fa4c7 /language-web/src/main/js/theme/ThemeStore.ts | |
parent | Merge pull request #7 from golej-marci/language-to-store (diff) | |
parent | chore: bump dependency versions (diff) | |
download | refinery-7918d78948de7f349f9948837caf76f2a514c96c.tar.gz refinery-7918d78948de7f349f9948837caf76f2a514c96c.tar.zst refinery-7918d78948de7f349f9948837caf76f2a514c96c.zip |
Merge pull request #8 from kris7t/cm6
Switch to CodeMirror 6 editor and WebSocket-based transport for Xtext
Diffstat (limited to 'language-web/src/main/js/theme/ThemeStore.ts')
-rw-r--r-- | language-web/src/main/js/theme/ThemeStore.ts | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/language-web/src/main/js/theme/ThemeStore.ts b/language-web/src/main/js/theme/ThemeStore.ts index 3bbea3a1..ffaf6dde 100644 --- a/language-web/src/main/js/theme/ThemeStore.ts +++ b/language-web/src/main/js/theme/ThemeStore.ts | |||
@@ -42,6 +42,9 @@ export class ThemeStore { | |||
42 | secondary: { | 42 | secondary: { |
43 | main: themeData.secondary, | 43 | main: themeData.secondary, |
44 | }, | 44 | }, |
45 | error: { | ||
46 | main: themeData.secondary, | ||
47 | }, | ||
45 | text: { | 48 | text: { |
46 | primary: themeData.foregroundHighlight, | 49 | primary: themeData.foregroundHighlight, |
47 | secondary: themeData.foreground, | 50 | secondary: themeData.foreground, |
@@ -51,6 +54,10 @@ export class ThemeStore { | |||
51 | return responsiveFontSizes(materialUiTheme); | 54 | return responsiveFontSizes(materialUiTheme); |
52 | } | 55 | } |
53 | 56 | ||
57 | get darkMode(): boolean { | ||
58 | return this.currentThemeData.paletteMode === 'dark'; | ||
59 | } | ||
60 | |||
54 | get className(): string { | 61 | get className(): string { |
55 | return this.currentThemeData.className; | 62 | return this.currentThemeData.className; |
56 | } | 63 | } |