diff options
author | 2021-09-19 18:24:52 +0200 | |
---|---|---|
committer | 2021-09-19 18:24:52 +0200 | |
commit | c8325e6e1a31598a4d4dc6a29834fdaefcb31181 (patch) | |
tree | 2bb1eee700e4185bb95ecfa8ceb0ca9fa8753e21 /language-web/src/main/js/theme/EditorTheme.ts | |
parent | Frontend color theme (diff) | |
download | refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.tar.gz refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.tar.zst refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.zip |
Frontend color changes
Diffstat (limited to 'language-web/src/main/js/theme/EditorTheme.ts')
-rw-r--r-- | language-web/src/main/js/theme/EditorTheme.ts | 4 |
1 files changed, 2 insertions, 2 deletions
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 { | |||
16 | 16 | ||
17 | foreground!: string; | 17 | foreground!: string; |
18 | 18 | ||
19 | background!: string; | 19 | foregroundHighlight!: string; |
20 | 20 | ||
21 | paper!: string; | 21 | background!: string; |
22 | 22 | ||
23 | primary!: string; | 23 | primary!: string; |
24 | 24 | ||